Logic and Structure

From the reviews of the fourth edition: "This book teaches logic to mathematicians in just the way I would have wished. Beginning with the propositional calculus by means of truth-tables, i.e. the semantics, it proceeds to the syntactics in the form of Gentzen s natural deduction. this fourth edition has a long final chapter added, on Gödel s incompleteness theorem. The chapter follows traditional lines but preserves the excellent quality of the earlier chapters. This is a delightful textbook, with plenty of examples for the reader." (C.W. Kilmister, The Mathematical Gazette, Vol. 89(515), 2005) "This is the fourth edition of van Dalen s classic textbook on logic in the popular Universitext -series. this book explains clearly all aspects of logic which a novice in this matter should learn by heart. Reading this book was a real delight. A lot of the fun was in the exercises heartily recommend this excellent textbook; Current students may have little interest in formal mathematics the problem will solve itself when they all have a copy on their personal bookshelf." (Pieter Audenaert, Bulletin of the Belgian Mathematical Society, Vol. 12 (3), 2005)