Book
Nonfiction

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign in

About

No description yet.

Add to list

More by George Boolos

All books

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

16 editions
  • Hardcover · English · 2007
    Cambridge University Press · 364 pages · 9780521877527
  • Hardcover · English · 1981
    Computability and Logic 2ed
    Cambridge University Press · 304 pages · 9780521234795
  • Other · English · 2012
    Cambridge University Press · 9780511804076
  • Other · English · 2012
    Cambridge University Press · 9781139164931
  • Other · English · 2008
    Cambridge University Press · 9780511364297
  • Other · English · 2007
    Cambridge University Press · 9780511366055
Computable functionsLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical LogicMathematical foundationsPhilosophyGeneralPhilosophy / Logic