Loading...
Extensional Godel functional intepretation: A consistency of proof of classical analysis
| Hovedforfatter: | Luckhardt, Horst |
|---|---|
| Format: | Printed Book |
| Sprog: | English |
| Udgivet: |
Berlin
Springer-Verlag
1973
|
| Fag: |
Lignende værker
-
Godel's proof,
af: Nagel, Ernest
Udgivet: (1986) -
Extensional godel functional interpretation
af: Luckhardt, Horst
Udgivet: (1973) -
Metamathematics, machines and Godel's proof.
af: Shankar, N
Udgivet: (1994) -
Godel's incompleteness theorems /
af: Smullyan, Raymond M.
Udgivet: (1992) -
Gödel's theorem in focus /
Udgivet: (1988)