The Logical Basis for Computer Programming (Volume 1)

Rating:
Summary: Still the best logic text for computer science
Review: I've been using this book to teach introductory mathematical logic to computer science students for many years. Every year or two, I look again for something that might cover the ground better, but, despite some notational flaws and an occasional error or poor choice of phrase, this one comes out on top every time.