Extensional Godel functional intepretation: A consistency of proof of classical analysis

Benzer Materyaller

• Godel's proof,
  Yazar:: Nagel, Ernest
  Baskı/Yayın Bilgisi: (1986)
• Extensional godel functional interpretation
  Yazar:: Luckhardt, Horst
  Baskı/Yayın Bilgisi: (1973)
• Metamathematics, machines and Godel's proof.
  Yazar:: Shankar, N
  Baskı/Yayın Bilgisi: (1994)
• Godel's incompleteness theorems /
  Yazar:: Smullyan, Raymond M.
  Baskı/Yayın Bilgisi: (1992)
• Gödel's theorem in focus /
  Baskı/Yayın Bilgisi: (1988)