Overview
- Contains a completely new chapter on the incompleteness of arithmetic
- Now more self-contained
- Adds useful information on basic recursion theory and arithmetic
- Includes supplementary material: sn.pub/extras
Part of the book series: Universitext (UTX)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
Reviews
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)
Authors and Affiliations
About the author
Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of intuitionistic mathematics and logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L.E.J. Brouwer and the editing of Brouwer's correspondence.
Bibliographic Information
Book Title: Logic and Structure
Authors: Dirk Dalen
Series Title: Universitext
DOI: https://doi.org/10.1007/978-3-540-85108-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
eBook ISBN: 978-3-540-85108-0Published: 29 July 2008
Series ISSN: 0172-5939
Series E-ISSN: 2191-6675
Edition Number: 4
Number of Pages: X, 267
Additional Information: 4th ed., corrected 2nd printing.