Carregant...
Extensional Godel functional intepretation: A consistency of proof of classical analysis
| Autor principal: | Luckhardt, Horst |
|---|---|
| Format: | Printed Book |
| Idioma: | English |
| Publicat: |
Berlin
Springer-Verlag
1973
|
| Matèries: |
Ítems similars
-
Godel's proof,
per: Nagel, Ernest
Publicat: (1986) -
Extensional godel functional interpretation
per: Luckhardt, Horst
Publicat: (1973) -
Metamathematics, machines and Godel's proof.
per: Shankar, N
Publicat: (1994) -
Godel's incompleteness theorems /
per: Smullyan, Raymond M.
Publicat: (1992) -
Gödel's theorem in focus /
Publicat: (1988)