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 |