Cargando…
Logic with trees : an introduction to symbolic logic /
Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London ; New York :
Routledge,
1997.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn191935978 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 960305s1997 enka ob 001 0 eng d | ||
| 040 | |a COO |b eng |e pn |c COO |d CO3 |d OCLCQ |d N$T |d YDXCP |d AUD |d OCLCQ |d DKDLA |d ADU |d E7B |d QE2 |d IDEBK |d OCLCQ |d MERUC |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d TYFRS |d OCLCQ |d EUX |d CN4UL |d OCLCQ |d AZK |d LOA |d JBG |d COCUF |d AGLDB |d MOR |d PIFBR |d OTZ |d OCLCQ |d U3W |d OCLCQ |d CN8ML |d STF |d WRM |d OCLCQ |d VTS |d CEF |d NRAMU |d VT2 |d AU@ |d OCLCQ |d LHU |d FVL |d WYU |d UWO |d TKN |d OCLCQ |d W2U |d CNTRU |d SFB |d HS0 |d BOL |d OH# |d VLY |d CN6UV |d YDX |d INARC |d OCLCO |d OCLCQ |d BRX |d OCLCQ | ||
| 016 | 7 | |a 000012240685 |2 AU | |
| 019 | |a 62118275 |a 230766242 |a 455982898 |a 474275611 |a 614649405 |a 624399779 |a 646709574 |a 646791181 |a 756871448 |a 888525647 |a 961582240 |a 962680205 |a 966374694 |a 968298828 |a 988476286 |a 992067971 |a 994688152 |a 1033887591 |a 1037710156 |a 1038618664 |a 1044199689 |a 1044356372 |a 1045489452 |a 1048180441 |a 1055332069 |a 1056317933 |a 1056433735 |a 1057950280 |a 1059532426 |a 1060838020 |a 1062933004 |a 1081252426 |a 1086421628 |a 1107364408 |a 1109382701 |a 1114463049 |a 1125446851 |a 1125698874 |a 1136255957 |a 1136293660 |a 1153049474 |a 1162192331 |a 1203328228 |a 1241773165 |a 1285645064 |a 1286904825 |a 1290062102 |a 1300589443 | ||
| 020 | |a 0203976738 |q (electronic bk.) | ||
| 020 | |a 9780203976739 |q (electronic bk.) | ||
| 020 | |a 9780415133425 | ||
| 020 | |a 0415133424 | ||
| 020 | |a 9780415133418 |q (hard) | ||
| 020 | |a 0415133416 |q (hard) | ||
| 020 | |a 6610226504 | ||
| 020 | |a 9786610226504 | ||
| 020 | |a 1134785518 | ||
| 020 | |a 9781134785513 | ||
| 020 | |a 1280226501 | ||
| 020 | |a 9781280226502 | ||
| 020 | |z 0415133424 | ||
| 020 | |z 0415133416 |q (hard) | ||
| 024 | 7 | |a 10.4324/9780203976739 |2 doi | |
| 029 | 1 | |a AU@ |b 000051379253 | |
| 029 | 1 | |a AU@ |b 000053231481 | |
| 029 | 1 | |a DEBBG |b BV043079267 | |
| 029 | 1 | |a DEBSZ |b 422304069 | |
| 035 | |a (OCoLC)191935978 |z (OCoLC)62118275 |z (OCoLC)230766242 |z (OCoLC)455982898 |z (OCoLC)474275611 |z (OCoLC)614649405 |z (OCoLC)624399779 |z (OCoLC)646709574 |z (OCoLC)646791181 |z (OCoLC)756871448 |z (OCoLC)888525647 |z (OCoLC)961582240 |z (OCoLC)962680205 |z (OCoLC)966374694 |z (OCoLC)968298828 |z (OCoLC)988476286 |z (OCoLC)992067971 |z (OCoLC)994688152 |z (OCoLC)1033887591 |z (OCoLC)1037710156 |z (OCoLC)1038618664 |z (OCoLC)1044199689 |z (OCoLC)1044356372 |z (OCoLC)1045489452 |z (OCoLC)1048180441 |z (OCoLC)1055332069 |z (OCoLC)1056317933 |z (OCoLC)1056433735 |z (OCoLC)1057950280 |z (OCoLC)1059532426 |z (OCoLC)1060838020 |z (OCoLC)1062933004 |z (OCoLC)1081252426 |z (OCoLC)1086421628 |z (OCoLC)1107364408 |z (OCoLC)1109382701 |z (OCoLC)1114463049 |z (OCoLC)1125446851 |z (OCoLC)1125698874 |z (OCoLC)1136255957 |z (OCoLC)1136293660 |z (OCoLC)1153049474 |z (OCoLC)1162192331 |z (OCoLC)1203328228 |z (OCoLC)1241773165 |z (OCoLC)1285645064 |z (OCoLC)1286904825 |z (OCoLC)1290062102 |z (OCoLC)1300589443 | ||
| 050 | 4 | |a BC135 |b .H68 1997eb | |
| 055 | 1 | 3 | |a BC135 |b .H68 1997eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 20 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Howson, Colin. | |
| 245 | 1 | 0 | |a Logic with trees : |b an introduction to symbolic logic / |c Colin Howson. |
| 264 | 1 | |a London ; |a New York : |b Routledge, |c 1997. | |
| 300 | |a 1 online resource (xiii, 197 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 340 | |g polychrome. |2 rdacc |0 http://rdaregistry.info/termList/RDAColourContent/1003 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 189-190) and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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 index. | |
| 520 | |a Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 776 | 0 | 8 | |i Print version: |a Howson, Colin. |t Logic with trees. |d London ; New York : Routledge, 1997 |w (DLC) 96007315 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=141170 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a ebrary |b EBRY |n ebr10017151 | ||
| 938 | |a EBSCOhost |b EBSC |n 141170 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 22650 | ||
| 938 | |a Internet Archive |b INAR |n logicwithtreesin0000hows | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203976739 | ||
| 938 | |a YBP Library Services |b YANK |n 2288924 | ||
| 938 | |a YBP Library Services |b YANK |n 301602789 | ||
| 994 | |a 92 |b IZTAP | ||