000			cam a22 4500
999			_c51856 _d51856
003			UAHC
005			20190409173705.0
008			190409s2005 us |||| |||| 00| 0 eng d
020			_a415133416
035			_aCENTRAL
040			_aUAHC_CL _cUAHC_CL _dUAHC_CL
082			_221 _bH866 _a160
100			_97458 _aHowson, Colin _d1945-
245			_aLogic with trees: _ban introduction to symbolic logic _cColin Howson.
260			_aNew York: _bRoutledge, _c2005.
300			_a197 p.
520			_aLogic with trees is a new and original introduction to modern formal logic. Unlike most texts on the subject, it includes discussions of more philosophical issues such as truth, conditionals and modal logic. Pre explanation and argument to intimidatingly rigorous development, Colin Howson presents the formal material in a clear and informal style that both beginners and those with some knowledge of formal methods will appreciate. Examples and exercises guide readers through the book, and answers to selected exercises at the end allow them to monitor their own progress. Logic with Trees gives students
650		0	_97252 _aLógica matemática
942			_2ddc _cBK