Shankar, N. (1994). Metamathematics, machines and Godel's proof. Cambridge University Press.
Trích dẫn kiểu ChicagoShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge: Cambridge University Press, 1994.
Trích dẫn MLAShankar, N. Metamathematics, Machines and Godel's Proof. Cambridge University Press, 1994.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.