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

From ProofWiki
Jump to navigation Jump to search

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

Published $\text {1980}$


Subject Matter


Contents



Further Editions