Shankar, N. (1994). Metamathematics, machines and Godel's proof. Cambridge University Press.
Chicago Edition CitationShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge: Cambridge University Press, 1994.
MLA Edition CitationShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge University Press, 1994.
Warning: These citations may not always be 100% accurate.