Wordt geladen...
Extensional Godel functional intepretation: A consistency of proof of classical analysis
| Hoofdauteur: | Luckhardt, Horst |
|---|---|
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
Berlin
Springer-Verlag
1973
|
| Onderwerpen: |
Gelijkaardige items
-
Godel's proof,
door: Nagel, Ernest
Gepubliceerd in: (1986) -
Extensional godel functional interpretation
door: Luckhardt, Horst
Gepubliceerd in: (1973) -
Metamathematics, machines and Godel's proof.
door: Shankar, N
Gepubliceerd in: (1994) -
Godel's incompleteness theorems /
door: Smullyan, Raymond M.
Gepubliceerd in: (1992) -
Gödel's theorem in focus /
Gepubliceerd in: (1988)