000 00466nam a2200157Ia 4500
008 230310s9999 xx 000 0 und d
020 _a978-3-540-36875-5
040 _cIITB
041 _aeng
100 _aScarpellini, Bruno
_934621
245 0 _aProof theory and intuitionistic systems (e-book)
260 _aBerlin
_bSpringer
_c1971
440 _aLecture Notes in Mathematics (LNM)
_vv.212
_915261
856 _uhttps://doi.org/10.1007/BFb0068783
942 _cEB
999 _c281702
_d281702