000			00397nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783540693192
100			_aWolfram Pohlers
245		0	_aProof Theory
250			_a2009
260			_bSpringer Berlin Heidelberg _c2009
440			_aUniversitext
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-540-69319-2
999			_c9037 _d9037