000 00471nmm a2200157Ia 4500
008 230424s9999||||xx |||||||||||||||||und||
020 _a9783540368755
100 _aBruno Scarpellini
245 0 _aProof Theory and Intuitionistic Systems
250 _a1971
260 _c1971
_bSpringer Berlin
_aHeidelberg
300 _aMonograph
490 _aLecture Notes in Mathematics
_vv.212
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/BFb0068783
999 _c30649
_d30649