000			01451cam a22002534a 4500
999			_c3336 _d3336
001			52518792
008			030623s2003 enka b 001 0 eng
010			_a2003057283
020			_a0521810337
020			_a9780521810333
020			_a0521008042
020			_a9780521008044
040			_aDLC _beng _cDLC _dYDX _dUKM _dBAKER _dBTCTA _dLVB _dYDXCP _dIG# _dUBC _dDEBBG _dEXW _dTULIB _dOCLCF _dOCLCQ _dOCLCO _dDEBSZ _dBSC
082			_222 _a160
100	1		_aSmith, Peter, _d1944-
245	1	3	_aAn introduction to formal logic / _cPeter Smith.
260			_aCambridge, UK ; _aNew York : _bCambridge University Press, _c2003.
300			_aviii, 357 pg : _billustrations ; _c26 cm
336			_atext _btxt _2rdacontent
500			_ainclude index
520	1		_a"In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--Jacket.
650		0	_aLogic.
942			_2ddc _cBK