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

Những quyển sách tương tự

• Godel's proof,
  Bằng: Nagel, Ernest
  Được phát hành: (1986)
• Extensional godel functional interpretation
  Bằng: Luckhardt, Horst
  Được phát hành: (1973)
• Metamathematics, machines and Godel's proof.
  Bằng: Shankar, N
  Được phát hành: (1994)
• Godel's incompleteness theorems /
  Bằng: Smullyan, Raymond M.
  Được phát hành: (1992)
• Gödel's theorem in focus /
  Được phát hành: (1988)