Overview
From the reviews: ""A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is ""just another branch of mathematics"" and not something more sacred. "" Acta Scientiarum Mathematicarum, Hungary
Full Product Details
Author: Dirk van Dalen
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: 4th ed. 2004. Corr. 2nd printing
Dimensions:
Width: 15.60cm
, Height: 1.40cm
, Length: 23.40cm
Weight: 0.880kg
ISBN: 9783540208792
ISBN 10: 3540208798
Pages: 280
Publication Date: 11 March 2004
Audience:
College/higher education
,
Professional and scholarly
,
Tertiary & Higher Education
,
Professional & Vocational
Replaced By: 9781447145578
Format: Paperback
Publisher's Status: Active
Availability: Awaiting stock
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.
Reviews
From the reviews of the fourth edition: <p> This book teaches logic to mathematicians in just the way I would have wished. a ] Beginning with the propositional calculus by means of truth-tables, i.e. the semantics, it proceeds to the syntactics in the form of Gentzena (TM)s natural deduction. a ] this fourth edition has a long final chapter added, on GAdela (TM)s incompleteness theorem. a ] 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) <p> This is the fourth edition of van Dalena (TM)s classic textbook on logic in the popular a ~Universitexta (TM) -series. a ] this book explains clearly all aspects of logic which a novice in this matter should learn by heart. a ] Reading this book was a real delight. A lot of the fun was in the exercises a ] heartily recommend this excellent textbook; a ] Current students may have little interest in formal mathematics a ] 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)
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)
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)
Author Information
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.
