Shankar, N. (1994). Metamathematics, machines and Godel's proof. Cambridge University Press.
Dyfyniad Arddull ChicagoShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge: Cambridge University Press, 1994.
Dyfyniad MLAShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge University Press, 1994.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.