Purchase A Mathematical Introduction to Logic – 2nd Edition. Print Book & E-Book . Authors: Herbert Enderton. Hardcover ISBN: eBook ISBN. A Mathematical Introduction to Logic. Book • 2nd Edition • Authors: Herbert B. Enderton. Browse book content. About the book. Search in this book. The first edition of Herbert B. Enderton’s A Mathematical Introduction to Logic ( Academic Press, pp. ) rapidly established itself as a much-used textbook.

Author: Kigaktilar Gardagor
Country: Haiti
Language: English (Spanish)
Genre: Travel
Published (Last): 15 September 2018
Pages: 28
PDF File Size: 18.29 Mb
ePub File Size: 9.57 Mb
ISBN: 958-1-62322-307-1
Downloads: 69653
Price: Free* [*Free Regsitration Required]
Uploader: Muzil

Withoutabox Submit to Film Festivals. Presburger arithmetic shown to be decidable by a quantifier elimination procedure, and shown not to define introdcution Robinson Arithmetic with exponentiation.

A Mathematical Introduction to Logic

Buy Direct from Elsevier Amazon. Would you like to tell us about a lower price? Amazon Advertising Find, attract, and engage customers.

ComiXology Thousands of Digital Comics. And we get a first look at the ideas of effectiveness and computability. Explore the Home Gift Guide. Write a customer review. The book also gives heavy emphasis to computational topics, and even gets into second-order logic in the final chapter — a very complete coverage for such a small introductory text.

We are taken through a long catalogue of functions and relations representable in Robinson-Arithmetic-with-exponentiation, including functions for encoding and decoding sequences. Not very helpful ways to approach the certain problems. A very peculiar way of proving theorems: I first learned serious logic from Enderton, which Pen Maddy used for her year-long introducton sequence at Notre Dame.

Customers who bought this item also bought. Customers who viewed this item also viewed.

enderton – Logic MattersLogic Matters

For the usual motivation for separating off propositional logic and giving it an extended treatment at the beginning of a book at this level is that this enables us to introduce and contrast the key ideas of semantic entailment and of provability in a formal deductive system, and then explain strategies for soundness and completeness proofs, all in a helpfully simple and uncluttered initial framework.


It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. But, wisely, that chapter has been replaced by a much friendlier and more useful overview of basic set theory in the 2nd edition. Never go for this textbook. English Choose a language for shopping. Alexa Actionable Analytics for the Web. Leave a Reply Cancel reply Your email address will not be published.

Read more Read less. This is not the essence of mathematical logic — but to Enderton, they appear to be the field’s first-class content. A theory with successor and the order relation also shown to admit elimination of quantifiers and to be complete. Like the First Edition, this book is an introduction to the concepts of proof, truth, and computability. It seems like Enderton had enrolled in a marathonian effort to give tortuous proofs, often incomplete and based on fistulous definitions, which turn the reading into a continual second-guessing exercise, with its load of annotations I love terse books, but even for me this book is too terse.

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Published January 5th by Academic Press first published April 28th To my great good fortune, she came to Notre Dame fresh out of grad school for several years before heading west. Book also has a last chapter on second-order logic. Edwin rated it liked it Jul 16, The author has made this edition more accessible to better meet the needs of today’s undergraduate mathematics and philosophy students.

  IEC 62290-1 PDF

Get fast, free shipping with Amazon Prime. I would also have loved to see some more high-level discussion on the history of FOL and justification for it’s prominence, the decline of syllogistic logic, the origins of Boolean algebra, etc.

When I cracked it open the first time, the binding from the spine of the introductionn began to separate from the cover along with the paper holding it in.

Kenneth rated it liked it Jun 13, If you are a seller for this product, would you like to suggest updates through seller support? Amazon Drive Cloud storage from Amazon. Your email address will not be published. Jim D’Ambrosia rated it liked it Jul 17, Joe rated it loguc liked it Jun 29, A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.

Account Options Sign in. The discussion then turns to the notions of definability and representability. A Mathematical Introduction to Logic eventually became part of a logical trilogy, with the publication of the wonderfully lucid Elements of Set Theory and Computability Theory However, if you have already read an entry-level presentation of first order logic e.

Proudly powered by WordPress. No trivia or quizzes mathemztical.