Logic and Structure

New corrected printing of a well-established text on logic at the introductory level.

ISBN 3540208798   Volumes 1 ISBN13 9783540208792 (What's this?)   Weight (grammes) 880 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG   Published in Berlin Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K   Series title Universitext Format Paperback   Previous ISBN 9783540578390 Publication date 11 Mar 2004   Height (mm) 234 Library of Congress 2004045235   Width (mm) 156 DEWEY 511.3   Spine width (mm) 14 DEWEY edition DC22   Academic level Tertiary education, Professional / Scholarly Pages 280

1		Propositional logic		5
2		Predicate logic		57
3		Completeness and applications		103
4		Second order logic		143
5		Intuitionistic logic		153
6		Normalisation		187
7		Godel's theorem		209

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 Godel'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)

 Be the first to write a customer review