Godel's proof,

Míreanna Comhchosúla

• Godel's incompleteness theorems /
  le: Smullyan, Raymond M.
  Foilsithe: (1992)
• Metamathematics, machines and Godel's proof.
  le: Shankar, N
  Foilsithe: (1994)
• Gödel's theorem in focus /
  Foilsithe: (1988)
• Godel's proof /
  le: Ernest Nagel
  Foilsithe: (2005)
• Kurt Gödel and the foundations of mathematics : horizons of truth /
  Foilsithe: (2014)