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.
|Published (Last):||20 August 2017|
|PDF File Size:||15.56 Mb|
|ePub File Size:||11.70 Mb|
|Price:||Free* [*Free Regsitration Required]|
We get a direct proof of compactness.
A Mathematical Introduction to Logic
As is revealed by that quick description there really is a lot in Ch. And we get a first look at the ideas of effectiveness and computability. A Mathematical Introduction to Logic, Second Editionoffers increased flexibility with topic endertno, allowing for choice in how to utilize the textbook in a course. May 28, at 7: To see what your friends thought of this book, please sign up.
Quadehar Sorcerer rated it it was amazing Sep 11, On the whole, I preferred Enderton, although that edition of Mendelson was the one that had the tto sketch of a proof of the consistency of arithmetic.
Al Amin rated it liked it Aug 30, It would, however, make for splendid revision-consolidation-extension reading after tackling e.
Your email address will not be published. Review Text Reasons for This Book’s Success “Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic.
No trivia or quizzes yet. Chapter Zero Useful Facts about Sets.
What do you think of Enderton’s Mathematical Introduction to Logic? – Logic MattersLogic Matters
But it also strikes me as tougher going than it purports to be. This goes very briskly at the outset.
It could really benefit from additional samples and explanations. Proudly powered by WordPress.
Eugene rated it really liked it Aug 08, Poor textbook is doomed to be the forgotten stepchild of this course. David rated it it was amazing Dec 09, Talal Alrawajfeh rated it really liked it Sep 04, Want to Read Currently Reading Read.
A Mathematical Introduction to Logic – Herbert Enderton, Herbert B. Enderton – Google Books
Leave a Reply Cancel reply Your email address will not be published. Book ratings by Goodreads. There needs to be more examples in the book, so future students are able to learn better to solve problems.
Presburger arithmetic shown to be decidable by a quantifier elimination procedure, and shown not to define multiplication Robinson Arithmetic with exponentiation. Instead, go for the different logic textbook, like Mendelson’s textbook, if you are taking Math Logic course.
I first learned serious logic from Enderton, which Pen Maddy used for her year-long logic sequence at Notre Dame. 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 We students thought the course and book difficult, though in a good way, and we kept our interest in logic.
Amazon UK claims 29 Mar Refresh and try again. A second edition was published inand a glance at the section headings indicates much the same overall structure: A final chapter covers second-order logic and some other matters.