Shankar, N. (1994). Metamathematics, machines and Godel's proof. Cambridge University Press.
Παραπομπή Chicago StyleShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge: Cambridge University Press, 1994.
Παραπομπή MLAShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge University Press, 1994.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.