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

4.01  ·  Rating details ·  110 Ratings  ·  10 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 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)
Rating details
Sort: Default
Lane Wilkinson
Jan 05, 2008 rated it did not like it  ·  review of another edition
Shelves: philosophy, logic

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
Nov 21, 2013 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.
Mar 02, 2017 rated it it was ok
Ehh. Not the best written book. Some of the proofs could have been better formatted so that it was easier to read and understand. The sentences are long winded and aren't direct enough. Or maybe I'm just very bad at comprehending logic. Hm.

The turing machine chapters are decent. The FOL chapters could have done with some rework. Some of the proofs were blocks of text, and within them they would reference certain stages of the proof, but it wasn't specified which ones, therefore the reader had t
Jul 14, 2016 rated it it was amazing
Written for an audience with little more background in Math than the absolute basics of Set Theory (probably reading the Enderton book on Set Theory is enough prep for this one, and that's a very light read), it casts a great many interesting theorems in Logic and Computability as so many instances of the non-enumerability of the reals. It's very interesting to see how much is equivalent to that one fact, but I also can't help but feel that some of the proofs could benefit from a different persp ...more
Nov 24, 2014 rated it really liked it
You should probably pick up a book on how to effectively, and elegantly, write a proof before reading this.
My mind is full of knowledge.
Warunika Ranaweera
Jun 22, 2013 rated it it was amazing
Simple, yet complete, presentation of the underlying theories of Computability; beautifully explained.
Lane Wilkinson
Jan 05, 2008 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 rated it really liked it
Shelves: philosophy
Godels incomputability problem. Logic III.
rated it it was amazing
May 26, 2018
rated it liked it
Mar 15, 2016
Eric Casteleijn
rated it liked it
Jun 27, 2011
rated it really liked it
Sep 18, 2012
rated it it was amazing
Apr 22, 2012
Adam Gardner
rated it really liked it
Dec 21, 2007
rated it it was amazing
Jun 22, 2013
Thomas Schminke
rated it really liked it
Oct 22, 2013
rated it really liked it
May 18, 2012
rated it it was amazing
Nov 30, 2017
Laurie Wilkes
rated it liked it
Mar 12, 2018
Yasser Dawood
rated it really liked it
Feb 08, 2018
Lewis Cawthorne
rated it liked it
Jun 28, 2015
 Dr.  Rajeev Shrivastava
rated it it was amazing
Jan 13, 2018
john b. snazelle
rated it it was amazing
Aug 12, 2015
Andrada Pop
rated it it was amazing
Mar 31, 2013
rated it really liked it
Sep 18, 2014
Allie Mazon
rated it really liked it
Jun 22, 2017
Hanamanth Rathod
rated it really liked it
Dec 11, 2017
Jared Davis
rated it really liked it
Sep 04, 2014
« previous 1 3 4 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 »

Nonfiction Deals

  • A Guide to the Present Moment
    $7.99 $2.99
  • Hunting Eichmann: How a Band of Survivors and a Young Spy Agency Chased Down the World's Most Notorious Nazi
    $9.99 $2.99
  • The Breaks of the Game
    $11.99 $2.99
  • Celebration of Discipline: The Path to Spiritual Growth
    $11.74 $1.99
  • Soul Keeping: Caring For the Most Important Part of You
    $9.99 $1.99
  • The Autobiography of Eleanor Roosevelt
    $12.74 $2.99
  • How Soccer Explains the World: An Unlikely Theory of Globalization
    $8.24 $1.99
  • Dry
    $9.99 $3.99
  • Animal Liberation: The Definitive Classic of the Animal Movement
    $17.99 $1.99
  • The Measure of a Man
    $8.74 $1.99
  • Recovery: Freedom from Our Addictions
    $13.99 $2.99
  • 100 Days of Real Food: How We Did It, What We Learned, and 100 Easy, Wholesome Recipes Your Family Will Love
    $8.99 $1.99
  • Things No One Will Tell Fat Girls: A Handbook for Unapologetic Living
    $9.99 $2.99
  • Whipping Girl: A Transsexual Woman on Sexism and the Scapegoating of Femininity
    $13.99 $2.99
  • Best Friends: The True Story of the World's Most Beloved Animal Sanctuary
    $14.99 $1.99
  • Let. It. Go.: How to Stop Running the Show and Start Walking in Faith
    $4.99 $1.99
  • Still: Notes on a Mid-Faith Crisis
    $9.24 $1.99
  • Clara's War: One Girl's Story of Survival
    $8.49 $1.99
  • The Earth Shall Weep: A History of Native America
    $17.99 $1.99
  • Crown of Blood: The Deadly Inheritance of Lady Jane Grey
    $17.48 $1.99
  • The Story of Sushi: An Unlikely Saga of Raw Fish and Rice
    $12.49 $1.99
  • The Noticer Returns: Sometimes You Find Perspective, and Sometimes Perspective Finds You
    $9.99 $2.99
  • Scar Tissue
    $11.99 $2.99
  • Running with Scissors
    $9.99 $3.99
  • The Beautiful Struggle: A Father, Two Sons, and an Unlikely Road to Manhood
    $10.99 $1.99
  • The Black Hole War: My Battle with Stephen Hawking to Make the World Safe for Quantum Mechanics
    $9.99 $2.99
  • 1968: The Year That Rocked the World
    $11.99 $1.99
  • Notes on a Banana: A Memoir of Food, Love and Manic Depression
    $11.99 $1.99
  • Unfinished Business: Women Men Work Family
    $13.99 $1.99
  • Talking as Fast as I Can: From Gilmore Girls to Gilmore Girls (and Everything in Between)
    $11.99 $2.99
  • The Warrior Elite: The Forging of SEAL Class 228
    $11.99 $1.99
  • Lunch in Paris: A Love Story, with Recipes
    $9.99 $2.99
  • And the Band Played On: Politics, People, and the AIDS Epidemic
    $9.99 $2.99
  • The Vegetable Butcher: How to Select, Prep, Slice, Dice, and Masterfully Cook Vegetables from Artichokes to Zucchini
    $22.95 $1.99
  • Facing Your Giants: The God Who Made a Miracle Out of David Stands Ready to Make One Out of You
    $9.99 $2.99
  • Fat Girl Walking: Sex, Food, Love, and Being Comfortable in Your Skin...Every Inch of It
    $8.99 $1.99
  • The Egg and I
    $9.99 $1.99
  • The Secrets of Happy Families: Improve Your Mornings, Rethink Family Dinner, Fight Smarter, Go Out and Play, and Much More
    $12.74 $1.99
  • City of Fortune: How Venice Ruled the Seas
    $14.99 $2.99
  • Just Another Kid
    $7.99 $1.99
  • The Second World War
    $12.99 $3.99
  • Dewey: The Small-Town Library Cat Who Touched the World
    $9.99 $1.99
  • The Price of Privilege: How Parental Pressure and Material Advantage Are Creating a Generation of Disconnected and Unhappy Kids
    $11.24 $1.99
  • Fall Down 7 Times Get Up 8: A Young Man's Voice from the Silence of Autism
    $13.99 $1.99
  • I Am Not Myself These Days (P.S.)
    $13.24 $1.99
  • Starvation Heights: A True Story of Murder and Malice in the Woods of the Pacific Northwest
    $11.99 $2.99
  • The Tibetan Book of Living and Dying
    $11.99 $1.99
  • Slouching Towards Bethlehem: Essays
    $17.99 $2.99
  • Put Your Dream to the Test: 10 Questions to Help You See It and Seize It
    $9.49 $2.99