Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image
Sell yours for a Gift Card
We'll buy it for $2.00
Learn More
Trade in now
Have one to sell? Sell on Amazon

Logic and Structure Paperback – September 1, 2008

ISBN-13: 978-3540208792 ISBN-10: 3540208798 Edition: 4th
Due Date: Aug 14, 2015 Rental Details
FREE return shipping at the end of the semester.
In Stock. Rented from RentU , Fulfilled by Amazon
Access codes and supplements are not guaranteed with rentals.
List Price: $54.95 Save: $30.80 (56%)
To Rent, select Shipping State from options above

Used & new from other sellers Delivery options vary per offer
30 used & new from $14.78
Amazon Price New from Used from
Paperback, September 1, 2008
"Please retry"
$85.88 $14.78

There is a newer edition of this item:

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

Hero Quick Promo
Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now

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.

Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

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: #2,000,805 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

3.8 out of 5 stars
Share your thoughts with other customers

Most Helpful Customer Reviews

11 of 11 people found the following review helpful By Customer on April 7, 2011
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 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 Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 5 people found the following review helpful By CaRaPr on July 2, 2010
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 Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
4 of 8 people found the following review helpful By André Gargoura on January 20, 2013
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...
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
2 of 13 people found the following review helpful By Guilherme B. G. Lima on August 25, 2009
Format: Paperback
One of the most finest books in logics. For academics or just for fun, like me.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

What Other Items Do Customers Buy After Viewing This Item?