Industrial-Sized Deals TextBTS15 Shop Men's Hightops Learn more nav_sap_plcc_6M_fly_beacon Fidlar $5 Off Fire TV Stick Subscribe & Save Shop Popular Services hog hog hog  Amazon Echo Starting at $99 Kindle Voyage Nintendo Digital Games Shop Back to School with Amazon Back to School with Amazon Outdoor Recreation Deal of the Day
  • List Price: $54.95
  • Save: $41.84 (76%)
Rented from RentU
To Rent, select Shipping State from options above
Due Date: Dec 21, 2015
FREE return shipping at the end of the semester. Access codes and supplements are not guaranteed with rentals.
Condition: Used: Good
Comment: Fast shipping from Amazon! Qualifies for Prime Shipping and FREE standard shipping for orders over $35. Overnight, 2 day and International shipping available! Excellent Customer Service.. May not include supplements such as CD, access code or DVD.
Access codes and supplements are not guaranteed with used items.
Sell yours for a Gift Card
We'll buy it for $1.92
Learn More
Trade in now
Have one to sell? Sell on Amazon
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

Logic and Structure Paperback – September 1, 2008

4 customer reviews
ISBN-13: 978-3540208792 ISBN-10: 3540208798 Edition: 4th

Price: $19.13
Price: $13.11
5 New from $88.58 15 Used from $15.15
Amazon Price New from Used from
"Please retry"
Paperback, September 1, 2008
$88.58 $15.15

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

InterDesign Brand Store Awareness Textbooks

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.

See all Editorial Reviews

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: #1,046,182 in Books (See Top 100 in Books)

More About the Author

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

Customer Reviews

Most Helpful Customer Reviews

12 of 12 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 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
5 of 9 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?

Want to discover more products? Check out this page to see more: first order logic