Opening book details…
Can I read Computability and Logic on EtoBox?
Computability and Logic by Boolos, George S., Jeffrey, Richard C. is a philosophy book available to read on EtoBox.
What is Computability and Logic about?
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
Who reads Computability and Logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Boolos, George S., Jeffrey, Richard C.
- Publisher
- Cambridge ; New York: Cambridge University Press
- Published
- 1995
- Language
- EN
- ISBN
- 9780521389235
- Category
- philosophy
- Subjects
- Mathematics, Philosophy, Logic
- Rating
- 3.95 / 5 (77 ratings)
- Updated
- 2026-03-13
Other editions & translations
- Computability and Logic (2002)
- Computability And Logic Second Edition (1980)
- Вычислимость и логика (1994)
- Computability and Logic (1980)
- Computability and Logic Boolos (2005)
- Computability and Logic (1994)
- Soil Engineering : Testing, Design, and Remediation (1999)
- Computability and Logic (Instructor's Solution Manual) (Solutions) (2007)
- Mathematical Linguistics (Advanced Information and Knowledge Processing) (2008)
- Computability and Logic 2ed (1980)
More by Boolos, George S., Jeffrey, Richard C.
Browse all works by Boolos, George S., Jeffrey, Richard C.
Similar books
- Proofs and Algorithms : Introduction to Logic and Computability Theory — Gilles Dowek (2011)
- Discrete Structures. Hein, Logic, and Computability — Hein, James L.,Hein, James L. (2015)
- Foundations of Logic : Completeness, Incompleteness, Computability — Dag Westerståhl (2024)
- Computability in Context : Computation and Logic in the Real World — S. Barry Cooper, Andrea Sorbi, S. (2009)
- Computability in Analysis and Physics (Perspectives in Mathematical Logic) — Marian Boykan Pour-El; Jonathan Ian Richards (1989)
- Structure And Randomness In Computability And Set Theory (Mathematical Logic and Foundat) — Edited by Douglas Cenzer , Edited by Christopher Porter , Edited by Jindrich Zapletal (2020)