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 |