Nantilus
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt,... |
| Published : |
Berlin, Heidelberg, New York :
Springer
, 1973 |
| Physical Description : | 1 vol. (VI-161 p.) |
| Series : | Lecture notes in mathematics ; 306 |
| Subjects : |
Loading