Extensional Gödel functional interpretation : a consistency proof of classical analysis
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre papier |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin ; Heidelberg ; New York :
Springer
1973.
|
| Serie: | Lecture notes in mathematics
306 |
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Extensional Gödel functional interpretation, a consistency proof of classical analysis, Horst Luckhardt,..., Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-38283-6 |
| Descrizione fisica: | 1 vol. (VI-161 p.) ; 25 cm. |
|---|---|
| Bibliografia: | Bibliogr. p. 157-161 |
| ISBN: | 3540061193 (Berlin) 0387061193 (New York) |
| ISSN: | 0075-8434 |