37th out of 140 books
—
85 voters

Enlarge cover

# Computability and Logic

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)

## 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)

Jan 05, 2008
Lane Wilkinson
rated it
1 of 5 stars
·
review of another edition

Shelves:
philosophy,
logic

BUY THE FIFTH EDITION!!!

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.

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.

May 09, 2013
Frank
rated it
3 of 5 stars
·
review of another edition

Shelves:
math-science,
non-fiction

Brutal

There are no discussion topics on this book yet.
Be the first to start one »

Mar 03, 2008 08:50AM