000 00450nmm a2200157Ia 4500
008 230424s9999||||xx |||||||||||||||||und||
020 _a9783540468257
100 _aWolfram Pohlers
245 0 _aProof Theory
250 _a1989
260 _c1989
_bSpringer Berlin
_aHeidelberg
300 _aMonograph
490 _aLecture Notes in Mathematics
_vv.1407
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-3-540-46825-7
999 _c31181
_d31181