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. (discuss)

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.)