000			00487nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9781402067822
100			_aWalter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
245		0	_aAnalysis and Synthesis of Logics
250			_a2008
260			_bSpringer Netherlands _c2008
440			_aApplied Logic Series
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-1-4020-6782-2
999			_c4323 _d4323