000 00719nam a2200253Ia 4500
003 OSt
005 20220912151411.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a21352
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB13, 113L4
100 _aHeyting A
245 0 _aMathematische grundlagenforschung intuitionismus beweistheorie
260 _aBerlin
_bSpringer-Verlag
_c1934
300 _aiv, 73p.
_ccm.
490 _aErgebnisse der mathematik und ihrer grenzgebiete; 4
500 _aOriginally published in 1934
942 _hB13, 113L4
_cTEXL
_2CC
999 _c67612
_d67612