Logic and Structure

• Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.

From the reviews of the fifth edition: "This is the fifth edition of van Dalen's respected and enduring logic textbook, first published in 1980. ... Intended as a text for an undergraduate course in logic, this text contains considerably more material than can be covered in one semester. ... this is quite a good book and is certainly a very serious contender as a text for an undergraduate course, and should be carefully looked at by anybody teaching such a course." (Mark Hunacek, MAA Reviews, June, 2013)