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

George S. Boolos, Richard C. Jeffrey and John P. Burgess: Computability and Logic (4th Edition)

Published $\text {2002}$

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
• 1980: George S. Boolos and Richard C. Jeffrey: Computability and Logic (2nd ed.)
• 1989: George S. Boolos and Richard C. Jeffrey: Computability and Logic (3rd ed.)
• 2007: George S. Boolos, John P. Burgess and Richard C. Jeffrey: Computability and Logic (5th ed.)