|
Loading... Computability and Logicby George And Richard Jeffrey Boolos (otherwise under George Boolos)
LibraryThing recommendationsMember recommendationsLoading...
won't like
will probably not like
will probably like
will like
will love Sign up for LibraryThing to find out whether you'll like this book.  lanewilkinson | Dec 4, 2009 |  A vast improvement over the fourth edition. Still the best introduction to advanced logic and metatheory. (  ) lanewilkinson | Dec 4, 2009 | A truly shitty book. Proof that some people can make the most interesting things seem dry, dull, and boring beyond words. (  ) PhilipSharman | Dec 9, 2006 |  no reviews | add a review
References to this work on external resources.
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Book description |
|
(retrieved from Amazon Fri, 24 Apr 2009 07:58:12 -0400)
The first test round has been closed. Visit the Open Shelves Classification group for details.
Quick Links |
| Ebooks | Audio | Swap |
| — | — | 0/4 |
Wikipedia in English (12)
This is the classic textbook for anyone who wants to study logic up to and beyond Godel. However, the 4th edition is plagued with serious typographic errors in the exercises. Several proofs are, in fact, impossible. John Burgess has a list of corrections on his website, but it is better just to buy the corrected fifth edition. (