| 000 | 00795cam a2200229 4500 | ||
|---|---|---|---|
| 001 | 000487769 | ||
| 003 | AM-YeNLA | ||
| 005 | 20230709182927.0 | ||
| 008 | 730301s1973 |||||| ||b||||000|0|eng|| | ||
| 020 | _a0387061193 (New York) | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | 0 | _aeng | |
| 100 | 1 | _aLuckhardt, Horst. | |
| 245 | 1 | 0 |
_aExtensional Gödel functional interpretation : _bA consistency proof of classical analysis / _cHorst Luckhardt. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1973. |
||
| 300 |
_avi, 161 p. ; _c26 cm. |
||
| 490 | 1 |
_aLecture notes in mathematics / Ed. by A. Dold, B. Eckmann _vVol. 306 |
|
| 504 | _aBibliogr.: p. 157-161. | ||
| 650 | 0 | _aProof theory | |
| 650 | 0 | _aIntuitionistic mathematics | |
| 830 | 0 |
_aLecture notes in mathematics (Springer-Verlag) ; _v306. |
|
| 999 |
_c419592 _d419592 |
||