000			01269nam a2200205Ia 4500
999			_c168454 _d168454
005			20211205112649.0
008			200208s9999 xx 000 0 und d
020			_a9780415166966
082			_a160 TOM
100			_a"Tomassi, Paul"
245		0	_aLogic
260			_aLondon
260			_bRoutledge
260			_c1999
300			_a411p.
365			_dPND
520			_aBringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains: * The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic including the Theory of Descriptions. Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.
650			_aLogic
942			_cB _2ddc