Computability and Logic
Enlarge cover
Rate this book
Clear rating

Computability and Logic

3.95 of 5 stars 3.95  ·  rating details  ·  57 ratings  ·  5 reviews
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of ex...more
Paperback, 5th Edition, 366 pages
Published September 17th 2007 by Cambridge University Press (first published January 1st 1980)
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Computability and Logic, please sign up.

Be the first to ask a question about Computability and Logic

Community Reviews

(showing 1-30 of 213)
filter  |  sort: default (?)  |  rating details
Lane Wilkinson

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.
Warunika Ranaweera
Simple, yet complete, presentation of the underlying theories of Computability; beautifully explained.
Lane Wilkinson
A vast improvement over the fourth edition. Still the best introduction to advanced logic and metatheory.
Chris Rhodes
Godels incomputability problem. Logic III.
Tuongvi marked it as to-read
Sep 07, 2014
Iulian Dumitru
Iulian Dumitru marked it as to-read
Aug 25, 2014
Ollie Ford
Ollie Ford is currently reading it
Aug 18, 2014
Ryan Linton
Ryan Linton marked it as to-read
Jul 23, 2014
Samar marked it as to-read
Jul 12, 2014
Avel Deleon
Avel Deleon marked it as to-read
Jun 22, 2014
Dennis marked it as to-read
Jun 08, 2014
David Comerford
David Comerford marked it as to-read
Jun 07, 2014
David Niemann
David Niemann marked it as to-read
Jun 05, 2014
Syeda Abony
Syeda Abony marked it as to-read
Jun 04, 2014
Jayson Virissimo
Jayson Virissimo marked it as to-read
May 25, 2014
Zach Kagley
Zach Kagley marked it as to-read
May 25, 2014
Geoff marked it as to-read
May 24, 2014
David is currently reading it
May 17, 2014
Caitlin Machell
Caitlin Machell marked it as to-read
Apr 24, 2014
« previous 1 3 4 5 6 7 8 next »
There are no discussion topics on this book yet. Be the first to start one »
Logic, Logic, and Logic The Logic of Provability Meaning And Method: Essays In Honor Of Hilary Putnam The Unprovability of Consistency: An Essay in Modal Logic

Share This Book