Computability and Logic
| Author | : | |
| Rating | : | 4.41 (531 Votes) |
| Asin | : | 052120402X |
| Format Type | : | paperback |
| Number of Pages | : | 272 Pages |
| Publish Date | : | 2015-01-23 |
| Language | : | English |
DESCRIPTION:
. George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.Jeffrey was Emeritus Professor in the Department of Philosophy, Princeton University
This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.. A text for a second course in logic for graduate and advanced undergraduate students
Five Stars bdonaat Excellent!. Absolutely rediculous steve WAY TOO MANY TYPOS!!!!!! There were so many typos, it made it extremely difficult to follow this book at times. As a first time student to mathematical logic, I found this to be just too much. People who are veterans with logic and logicians may easily spot typos, but for a first time student of the subject, I was confused as hell at some parts simply because there was a typo. I wasted hours trying to figure out some parts (such as the factorial function in chapter 6) when I finally found out that the reason why I couldn't figure it out was because of a typo. Th. A Customer said For typo-tolerant readers only.. I think George Boolos is a wonderful writer. (I'm midway through his _Logic, Logic, and Logic_ right now.) I think Cambridge University Press is a wonderful company. (I own "For typo-tolerant readers only." according to A Customer. I think George Boolos is a wonderful writer. (I'm midway through his _Logic, Logic, and Logic_ right now.) I think Cambridge University Press is a wonderful company. (I own 25 of their titles.) I think the subject matter of this book is fascinating, and I'd probably agree with 95% of the nice things reviewers say about this book. But it is aggravating to spend good money on a book with as many typos as this one has. The reader of a math book should be expected to have a pencil handy to work out details, not to correct errors.This fourth edition is a major revisi. 5 of their titles.) I think the subject matter of this book is fascinating, and I'd probably agree with 95% of the nice things reviewers say about this book. But it is aggravating to spend good money on a book with as many typos as this one has. The reader of a math book should be expected to have a pencil handy to work out details, not to correct errors.This fourth edition is a major revisi
'Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly' particularly appropriate for graduate and advanced undergraduate students in philosophy The book is written in a clear and pleasing style and avoids pedantry It should be an excellent text for its intended audience.' Mathematical Reviews