00938nam a2200265 i 450099100202264970753620020507155250.0000510s1993 it ||| | ita 8814044791b11597859-39ule_instLE02729150ExLDip.to Studi Giuridiciita340.11C-IV/BItalia, Vittorio334403Interpretazione sistematica delle norme e dei valori /Vittorio ItaliaMilano :A. Giuffrè,1993xi, 140 p. ;23 cm.Diritto - Interpretazione.b1159785902-04-1402-07-02991002022649707536LE027 C-IV/B 331LE027-785le027-E0.00-l- 00000.i1180929202-07-02Interpretazione sistematica delle "norme" e dei "valori"634431UNISALENTOle02701-01-00ma -itait 0102393nam 2200625 a 450 991096514960332120251117120112.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.MiAaPQMiAaPQMiAaPQBOOK9910965149603321Logic with trees4486351UNINA