Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)

by N. Shankar Hardcover details (UK). ISBN: 978-0-521-42027-3 ISBN-10: 0-521-42027-X Cambridge University Press · 1994