Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible.

I'm looking for a book that covers the course material in a manner understandable to a first / second year compSci student :

Topics: Introduction – natural and formal languages; The propositional language; Propositional calculus; The predicate language; Predicate calculus and its completeness; The incompleteness of arithmetic; Multi-sorted logic and second-order logic; Herbrand term models; Logical foundation for databases; Modal and temporal logic for program verification.

share|cite|improve this question
Abebooks have good prices, but I just realized your location is Israel. (you might have to check which sellers have better prices around that area) – Kirthi Raman Mar 20 '12 at 20:17
@Robert: Just curious -- what's the book? – David Lewis Mar 20 '12 at 21:40
@DavidLewis It's a book in Hebrew authored and published by the Israel Open University. Most of their books are pretty decent, but I've heard lot's of bad things about this particular one. – Robert S. Barnes Mar 21 '12 at 8:13
@KVRaman I usually order my books from amazon as it usually turns out to be the cheapest option. – Robert S. Barnes Mar 21 '12 at 8:24
up vote 3 down vote accepted

Computability and Logic by Boolos, Burgess, and Jefferey covers all of the material in your course and is written for people without a strong background or interest in mathematics. It's also very popular. I've personally only skimmed parts of it. A list of errata and hints for odd-numbered solutions is available from one of the authors.

The best introduction to logic that you could hope for is Hodges' Logic. He's hilarious, an amazing expositor, and there are solutions to every problem in the back, so it's perfect for self-study. It covers propositional and predicate logic and a few other topics, which is a big chunk of your course but not all of it. It is, however, the first chunk and the most important to understand well. I would get this and read it for fun before looking at any others. It's ~$13, small, and reads very quickly.

If you mention some textbooks or authors that you have enjoyed, I can possibly make more recommendations.

Cheers, Rachel

share|cite|improve this answer
I enjoyed Velleman's book, "How to Prove It"… – Robert S. Barnes Mar 21 '12 at 8:22
Does the book provide answers for a reasonable portion of it's problems? – Robert S. Barnes Mar 21 '12 at 8:29
@RobertS.Barnes, I don't know if Boolos' book has solutions in it, but Hodges has complete solutions for every problem. The Boolos book is popular enough that you can find material online from courses that use it. For example, I just found this manual (by one of the authors) of hints for odd-#ed problems online: – Rachel Mar 21 '12 at 11:08

Check this book by Howard Pospesel and Functional Programming by Greg Michaelson. I know these are good.

share|cite|improve this answer
Do they cover all the material outlined in my question? – Robert S. Barnes Mar 21 '12 at 9:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.