Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
Shankar, N.
ISBN 10:
0521585333 ISBN 13:
9780521585330
Published by Cambridge University Press, 1997
Used
Condition: Fair
Soft cover