| 000 | 00709 a2200229 4500 | ||
|---|---|---|---|
| 010 | _a72-096046 //r85 | ||
| 020 | _a0387061193 | ||
| 035 | _aII 18957 | ||
| 082 | _b510 | ||
| 090 |
_c14038 _d14038 |
||
| 100 | 1 | 0 | _aLuckhardt, Horst |
| 546 | _aeng | ||
| 245 | 1 | 0 |
_aExtensional Godel functional interpretation _ba consistency proof of classical analysis _cHorst Luckhardt |
| 260 |
_aBerlin _aNew York _bSpringer-Verlag _c1973 |
||
| 300 |
_avi, 161 p _c26 cm |
||
| 490 | _aLecture notes in mathematics, 306 | ||
| 500 | _aContine bibliografie | ||
| 650 | _aProof theory | ||
| 650 | _aIntuitionistic mathematics | ||
| 830 | _aLecture notes in mathematics (Springer-Verlag) | ||
| 942 |
_aIMAR _cCART _sSN _k510 |
||
| 999 |
_c13803 _d13803 |
||