Fascinating material; the book, unfortunately, is too terse and inconsistent it how it presents definitions and examples of which there are too few. Dec 11, Alex rated it liked it Shelves: A Mathematical Introduction to Logic.
|Date Added:||5 January 2015|
|File Size:||5.57 Mb|
|Operating Systems:||Windows NT/2000/XP/2003/2003/7/8/10 MacOS 10/X|
|Price:||Free* [*Free Regsitration Required]|
The chapter ends with a little model theory — compactness, the LS theorems, interpretations between theorems — all rather briskly done, and there is an application to the construction of infinitesimals in non-standard analysis which is surely going to be too compressed for mathematicaal first encounter with the ideas. Looking for beautiful books? Chapter Two FirstOrder Logic.
Book ratings by Goodreads. Lists with This Book. Thomas Ferguson rated it it was amazing Jun 08, A Mathematical Introduction to Logic, Second Editionoffers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
enderton - Logic MattersLogic Matters
It's the only MATH book on logic out there that is easy to understand and yet formal enough to be considered 'mathematical. We get a direct proof of compactness. Herbert EndertonHerbert B. Your email address will not be published.
There was a problem providing the content you requested
It would, however, make for splendid revision-consolidation-extension reading after tackling e. ElsevierJan 23, - Mathematics - pages. User Review - Flag as lkgic Dislike the textbook. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school.
Want to Read saving….
And we get a first look at the ideas of effectiveness and computability. A Mathematical Introduction to Logic, Second Editionoffers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
Joshua Macy rated it liked it Aug 03, Dispatched from the UK in 1 business day When will my order arrive?
This goes very briskly at the outset. Goodreads helps you keep track of books you want to read. Dec 11, Alex rated it liked it Shelves: To see what your friends thought of this book, please sign up.
The Best Books of Not very helpful ways to approach the certain problems. Jim D'Ambrosia rated it liked it Jul lofic, Al Amin rated it liked it Aug 30, Alejandro rated it really liked it Jun 25, The exercises redeem it somewhat.
A Mathematical Introduction to Logic : Herbert B. Enderton :
Never go for this textbook. My library Help Advanced Book Search. Check out the top books of the year on our page Best Books of A Mathematical Introduction to Logic. To be sure, the material here is not mathematically difficult in itself indeed it is one of the delights of this area that the initial Big Results come so quickly. This is pretty clearly done and mathematicians tto be able to cope quite well but does Enderton forget his officially intended audience on p.