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.