Shankar, N. (1997). Metamathematics, machines, and Godel's proof. Cambridge University Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Shankar, N. Metamathematics, Machines, and Godel's Proof. Cambridge ; New York: Cambridge University Press, 1997.
Παραπομπή σε μορφή MLA (8th εκδ.)Shankar, N. Metamathematics, Machines, and Godel's Proof. Cambridge University Press, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.