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


Source work progress