Book:George S. Boolos/Computability and Logic/Fourth Edition
Jump to navigation
Jump to search
George S. Boolos, Richard C. Jeffrey and John P. Burgess: Computability and Logic (4th Edition)
Published $\text {2002}$.
Subject Matter
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.)