LEADER 02411oam  2200625I  450 
001 9910450405303321
005 20200520144314.0
010   $a1-134-78550-X
010   $a9786610226504
010   $a1-134-78551-8
010   $a1-280-22650-1
010   $a0-203-97673-8
024 7 $a10.4324/9780203976739 
035   $a(CKB)1000000000004757
035   $a(EBL)254445
035   $a(OCoLC)475968959
035   $a(SSID)ssj0000193889
035   $a(PQKBManifestationID)11937234
035   $a(PQKBTitleCode)TC0000193889
035   $a(PQKBWorkID)10231379
035   $a(PQKB)11668331
035   $a(MiAaPQ)EBC254445
035   $a(Au-PeEL)EBL254445
035   $a(CaPaEBR)ebr10017151
035   $a(CaONFJC)MIL22650
035   $a(OCoLC)191935978
035   $a(EXLCZ)991000000000004757
100   $a20180331d1997      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aLogic with trees $ean introduction to symbolic logic /$folin Howson
210  1$aLondon ;$aNew York :$cRoutledge,$d1997.
215   $a1 online resource (210 p.)
300   $aDescription based upon print version of record.
311   $a0-415-13341-6 
311   $a0-415-13342-4 
320   $aIncludes bibliographical references (p. [189]-190) and indexes.
327   $aBook 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 index
330   $aFirst Published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.
606   $aLogic, Symbolic and mathematical
608   $aElectronic books.
615  0$aLogic, Symbolic and mathematical.
676   $a160
700   $aHowson$b Colin.$0252173
712 02$aLondon School of Economics and Political Science.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910450405303321
996   $aLogic with trees$92056649
997   $aUNINA