Book:George S. Boolos/Computability and Logic/Second Edition

George S. Boolos and Richard C. Jeffrey: Computability and Logic (2nd Edition)

Published $\text {1980}$

Subject Matter

• Mathematical Logic

Contents

A table of contents is missing for this source work. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the table of contents. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ContentsWanted}} from the code.

Further Editions

• 1974: George S. Boolos and Richard C. Jeffrey: Computability and Logic
• 1989: George S. Boolos and Richard C. Jeffrey: Computability and Logic (3rd ed.)
• 2002: George S. Boolos, Richard C. Jeffrey and John P. Burgess: Computability and Logic (4th ed.)
• 2007: George S. Boolos, John P. Burgess and Richard C. Jeffrey: Computability and Logic (5th ed.)