000			00487nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783319291987
100			_aReinhard Kahle, Thomas Strahm, Thomas Studer
245		0	_aAdvances in Proof Theory
250			_a1st ed. 2016
260			_bSpringer International Publishing _c2016
440			_aProgress in Computer Science and Applied Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-319-29198-7
999			_c9989 _d9989