---

Dirk van Dalen´s popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel´s famous incompleteness theorem. Includes a new section on ultra-products.

---

Dirk van Dalen´s popular textbook Logic and Structure , now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel´s famous incompleteness theorem.

Propositional and predicate logic are presented in an easy-to-read style using Gentzen´s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.

In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included.

The last chapter on Gödel´s first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory.

This new edition has been properly revised and contains a new section on ultra-products.

---

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)

---