Natarajan Shankar. Metamathematics, machines, and Gödels's proof. Volume 38 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1994.
No references recorded for this publication.
No citations of this publication recorded.