Metamathematics, machines and Godel's proof.

অনুরূপ উপাদানগুলি

• Godel's proof,
  অনুযায়ী: Nagel, Ernest
  প্রকাশিত: (1986)
• Godel's incompleteness theorems /
  অনুযায়ী: Smullyan, Raymond M.
  প্রকাশিত: (1992)
• Gödel's theorem in focus /
  প্রকাশিত: (1988)
• Godel's proof /
  অনুযায়ী: Ernest Nagel
  প্রকাশিত: (2005)
• Kurt Gödel and the foundations of mathematics : horizons of truth /
  প্রকাশিত: (2014)