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