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

From ProofWiki
Jump to navigation Jump to search

George S. BoolosRichard C. Jeffrey and John P. Burgess: Computability and Logic (5th Edition)

Published $\text {2007}$, Cambridge University Press

ISBN 978-0-521-70146-4.


Subject Matter


Contents

Further Editions