Extensional Gödel functional interpretation : a consistency proof of classical analysis
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin ; Heidelberg ; New York :
Springer
1973.
|
| Col·lecció: | Lecture notes in mathematics
306 |
| Matèries: | |
| 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 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Salle de lecture | LNM 306 | Disponible |