Goodreads helps you keep track of books you want to read.
Start by marking “Computability and Logic” as Want to Read:
Computability and Logic
Enlarge cover
Rate this book
Clear rating
Open Preview

Computability and Logic

3.96  ·  Rating Details  ·  84 Ratings  ·  8 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, 350 pages
Published October 1st 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

Introduction to Algorithms by Thomas H. CormenStructure and Interpretation of Computer Programs by Harold AbelsonThe C Programming Language by Brian W. KernighanThe Art of Computer Programming, Volumes 1-3 Boxed Set by Donald Ervin KnuthDesign Patterns by Erich Gamma
Essential Books of Computer Science
52nd out of 154 books — 142 voters
Principles of Model Checking by Christel BaierIntroduction to the Theory of Computation by Michael SipserTopology by James R. MunkresBasic Category Theory for Computer Scientists by Benjamin C. PierceLinear Algebra Done Right by Sheldon Axler
A Guide to MIRI’s Research
12th out of 19 books — 1 voter


More lists with this book...

Community Reviews

(showing 1-30 of 339)
filter  |  sort: default (?)  |  Rating Details
Lane Wilkinson
Jan 05, 2008 Lane Wilkinson rated it did not like it  ·  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.
Ben Pace
Sep 07, 2015 Ben Pace rated it it was amazing
Jus absolutely delightful. Assumming little background knowledge, it has been incredibly satisfying to be shown how various computational systems work, and then also to show that they're equivalent. Beautiful. Not finished yet.
Correy
Nov 24, 2014 Correy rated it really liked it
You should probably pick up a book on how to effectively, and elegantly, write a proof before reading this.
Micah
My mind is full of knowledge.
Warunika Ranaweera
Jun 22, 2013 Warunika Ranaweera rated it it was amazing
Simple, yet complete, presentation of the underlying theories of Computability; beautifully explained.
Lane Wilkinson
Jan 05, 2008 Lane Wilkinson rated it it was amazing
Shelves: philosophy, logic
A vast improvement over the fourth edition. Still the best introduction to advanced logic and metatheory.
Chris Rhodes
Dec 06, 2010 Chris Rhodes rated it really liked it
Shelves: philosophy
Godels incomputability problem. Logic III.
Frank
Brutal
Chris
Chris marked it as to-read
Jul 23, 2016
luiz
luiz rated it it was amazing
Jul 20, 2016
Adam
Adam rated it it was amazing
Jul 14, 2016
Ricardo
Ricardo rated it it was amazing
Jul 12, 2016
Talha Okur
Talha Okur marked it as to-read
Jul 11, 2016
Ben
Ben rated it it was amazing
Jul 11, 2016
Anna
Anna marked it as to-read
Jul 11, 2016
Ainitoto
Ainitoto marked it as to-read
Jul 03, 2016
Ker
Ker marked it as to-read
Jun 26, 2016
Christopher
Christopher rated it liked it
Jun 19, 2016
Jamie
Jamie marked it as to-read
Jun 16, 2016
Modiga Phemelo
Modiga Phemelo marked it as to-read
Jun 16, 2016
Sandy Vanderbleek
Sandy Vanderbleek marked it as to-read
Jun 12, 2016
Kaborn
Kaborn marked it as to-read
Jun 09, 2016
Tyler
Tyler marked it as to-read
Jun 08, 2016
Safarione95
Safarione95 marked it as to-read
May 27, 2016
Sheikh Tajamul
Sheikh Tajamul rated it really liked it
May 27, 2016
Gaby
Gaby marked it as to-read
May 26, 2016
Yasaman Yektaeian
Yasaman Yektaeian marked it as to-read
May 24, 2016
Steven
Steven marked it as to-read
May 12, 2016
Srinivas Kowtal
Srinivas Kowtal marked it as to-read
May 12, 2016
« previous 1 3 4 5 6 7 8 9 10 11 12 next »
There are no discussion topics on this book yet. Be the first to start one »
  • The Frege Reader
  • Philosophy of Mathematics: Selected Readings
  • Elements of the Theory of Computation
  • Computers and Intractability: A Guide to the Theory of NP-Completeness
  • A Mathematical Introduction to Logic
  • The Nature of Necessity
  • Algorithms in C++, Parts 1-4: Fundamentals, Data Structure, Sorting, Searching
  • On the Plurality of Worlds
  • Computation: Finite and Infinite Machines (Automatic Computation)
  • An Introduction to Non-Classical Logic: From If to Is
  • Remarks on the Foundations of Mathematics
  • Computational Complexity
  • A Spinoza Reader: The Ethics and Other Works
  • Methods of Logic
  • A Discipline of Programming
  • Causality: Models, Reasoning, and Inference
  • Introduction to the Theory of Computation
  • First-Order Logic

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book