000			00504nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783030289218
100			_aHenryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
245		2	_aA Model–Theoretic Approach to Proof Theory
250			_a1st ed. 2019
260			_bSpringer International Publishing _c2019
440			_aTrends in Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-030-28921-8
999			_c12232 _d12232