000			00458nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9789400700055
100			_aEwa Orlowska, Joanna Golińska Pilarek
245		0	_aDual Tableaux: Foundations, Methodology, Case Studies
250			_a2011
260			_bSpringer Netherlands _c2011
440			_aTrends in Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-94-007-0005-5
999			_c8885 _d8885