02393nam 2200625 a 450 991081607030332120200520144314.01-134-78550-X97866102265041-134-78551-81-280-22650-10-203-97673-810.4324/9780203976739(CKB)1000000000004757(EBL)254445(OCoLC)475968959(SSID)ssj0000193889(PQKBManifestationID)11937234(PQKBTitleCode)TC0000193889(PQKBWorkID)10231379(PQKB)11668331(MiAaPQ)EBC254445(Au-PeEL)EBL254445(CaPaEBR)ebr10017151(CaONFJC)MIL22650(OCoLC)191935978(EXLCZ)99100000000000475719960305d1997 uy 0engur|n|---|||||txtccrLogic with trees an introduction to symbolic logic /Colin Howson1st ed.London ;New York Routledge19971 online resource (210 p.)Description based upon print version of record.0-415-13341-6 0-415-13342-4 Includes bibliographical references (p. [189]-190) and indexes.Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject indexFirst Published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.Logic, Symbolic and mathematicalLogic, Symbolic and mathematical.160Howson Colin252173London School of Economics and Political Science.MiAaPQMiAaPQMiAaPQBOOK9910816070303321Logic with trees4118847UNINA