Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Logic and Structure 4th Edition

3.8 out of 5 stars 4 customer reviews
ISBN-13: 978-3540208792
ISBN-10: 3540208798
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
More Buying Choices
8 New from $53.02 21 Used from $11.95

There is a newer edition of this item:

Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Wiley Summer Savings Event.
Wiley Summer Savings Event.
Save up to 40% during Wiley's Summer Savings Event. Learn more.
click to open popover

Editorial 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)

From the Back Cover

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.

The latest book club pick from Oprah
"The Underground Railroad" by Colson Whitehead is a magnificent novel chronicling a young slave's adventures as she makes a desperate bid for freedom in the antebellum South. See more

Product Details

  • Series: Universitext
  • Paperback: 263 pages
  • Publisher: Springer; 4th edition (September 1, 2008)
  • Language: English
  • ISBN-10: 3540208798
  • ISBN-13: 978-3540208792
  • Product Dimensions: 6.1 x 0.6 x 9.2 inches
  • Shipping Weight: 15.5 ounces
  • Average Customer Review: 3.8 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #1,449,326 in Books (See Top 100 in Books)

Customer Reviews

Top Customer Reviews

Format: Paperback
There are some things not explicit in the posted summary that buyers of this book should know. Researchers will also find these comments valuable

This book is an introductory treatment of mathematical logic, written entirely from the perspective of GENTZEN natural deduction. Standard texts are written from the viewpoint of Hilbert axiomatics or from (an alternative from Gentzen) natural deduction. Thus, for one wanting any discussion of the Gentzen calculus ND this book is the only full, start from scratch, treatment that I know of. Note, however, that the Gentzen sequent calculus is NOT discussed.

Another (great) feature of the text is the chapter on ND in intuitionistic systems. Again, other than texts on structural proof theory (e.g. Negri and Von Plato.), such discussions are hard to find in an introductory setting. It also beats digging through journals or symposium proceedings.

Also, another (great) component, found only in the 4th edition, is the treatment of Godel's first famous result, but entirely handled via the aforementioned Gentzen calculus.

Finally, to give a general comment, there are reasons for wanting to treat Hilbert systems rather than the Gentzen systems; these are most easily extended to study theories of arithmetic. But from the strictly logical, proof theoretic aspects, Hilbert systems prove to be less appealing. Note however that Gentzen systems are being pushed further all the time to handle arithmetic theories, though these still might be less elegant than their counterparts. Anyway, whether you choose Gentzen or the more standard treatment of Hilbert systems, one will unavoidably be making some concessions; but if Gentzen is what you want, there really isn't another alternative than this. Anecdote: Sometimes I hear, Gentzen is the more pedagogically effective route, but I'm not sure about this.
3 Comments 12 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback Verified Purchase
Terrible layout : paragraphs, concepts, titles, definitions, theorems... are all dumped in, indiscriminately.

More fundamentally, Van Dalen skips a lot of necessary explanations and some of his statements are ambiguous, confused, confusing as he attempts to relieve the reader from the difficulties of over-formalization found in other authors of logic indigestions such as Enderton and Mendelson : so we fall from Charybdis into Scylla !!!

I stopped losing my time with this book and turned to Kleene's beautiful and masterful achievements "Introduction to Metamathematics" and "Mathemathical Logic" (see my reviews).

Fortunately, there are other books on the subject ! Here is a list of key books :

1. A. Tarski's "Introduction to Logic", a jewel, followed by P. Smith's superb entry-point "An introduction to Formal logic" and the lovely "Logic, a very short introduction" by Graham Priest

2. D. Goldrei's "Propositional and Predicate calculus"

3. Wilfrid Hodges' "Logic", followed by Smullyan's "First-order logic".

4. P. Smith's "An introduction to Gödel's theorems".

5. Kleene's "Introduction to metamathematics" & "Mathematical Logic".

6. G. Priest's " Introduction to non-classical logic".

Hence forgetting altogether Van Dalen's indigestible "Logic & Stucture" as well as
the even more indigestible Enderton, Mendelson & al...
1 Comment 7 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback Verified Purchase
I used parts of the first two chapters in a class. As with everything in logic, it may take some time to be understood, but it will rewire your brain once you get the point. The book is aimed at mathematicians, so be careful.
Comment 3 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback
One of the most finest books in logics. For academics or just for fun, like me.
Comment 2 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

What Other Items Do Customers Buy After Viewing This Item?