000			01679nam a22004335a 4500
005			20250918001925.0
006			m d
007			cr nn 008maaau
008			100623s2008 ne j eng d
020			_a9781402067822 (electronic bk.)
020			_a9781402067815 (paper)
035			_a(Springer)978-1-4020-6781-5
039		9	_a201006230937 _bmuhaimin _y02-04-2009 _zmuhaimin
082	0	0	_a511.3 _222
090			_aQA9 _b.C289 2008
100	1		_aCarnielli, Walter.
245	1	0	_aAnalysis and Synthesis of Logics _h[electronic resource] : _bHow to Cut and Paste Reasoning Systems / _cby Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
260			_aDordrecht : _bSpringer Science+Business Media B.V., _c2008.
300			_axvi, 600 p. : _bill., digital ; _c25 cm.
440		0	_aApplied Logic Series, _x1386-2790 ; _v35
650		0	_aLogic, Symbolic and mathematical.
650	1	4	_aMathematics.
650	2	4	_aLogic.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aMathematical Logic and Foundations.
700	1		_aConiglio, Marcelo.
700	1		_aGabbay, Dov M.
700	1		_aGouveia, Paula.
700	1		_aSernadas, Cristina.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-4020-6782-2
907			_a.b14382118 _b2024-03-21 _c2019-11-12
942			_n0 _kQA9 .C289 2008
914			_avtls003397116
998			_ae0001 _b2009-04-02 _cm _da _feng _gne _y0 _z.b14382118
999			_c432959 _d432959