Book:George S. Boolos/Computability and Logic

From ProofWiki
Jump to navigation Jump to search

George S. Boolos and Richard C. Jeffrey: Computability and Logic

Published $\text {1974}$


Subject Matter


Contents



Further Editions