Computability and Logic
by Richard C. Jeffrey, John P. Burgess, George S. Boolos
350 pages· 2007· ISBN 9780521877527
About
This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
Discuss Computability and Logic with other readers
Join or start a book club for Computability and Logic on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Computability and Logic?
Sign up free on Readfeed, then browse public clubs or start your own club with Computability and Logic as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Computability and Logic with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Computability and Logic with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.