Logic with trees: an introduction to symbolic logic
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Routledge
1997
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | 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 index 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 |
| Physical Description: | 1 Online-Ressource (xiii, 197 p.) |
| ISBN: | 0203976738 0415133416 0415133424 9780203976739 9780415133418 9780415133425 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043079267 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1997 |||| o||u| ||||||eng d | ||
| 020 | |a 0203976738 |c electronic bk. |9 0-203-97673-8 | ||
| 020 | |a 0415133416 |c hard |9 0-415-13341-6 | ||
| 020 | |a 0415133416 |c hard |9 0-415-13341-6 | ||
| 020 | |a 0415133424 |9 0-415-13342-4 | ||
| 020 | |a 0415133424 |9 0-415-13342-4 | ||
| 020 | |a 9780203976739 |c electronic bk. |9 978-0-203-97673-9 | ||
| 020 | |a 9780415133418 |c hard |9 978-0-415-13341-8 | ||
| 020 | |a 9780415133425 |9 978-0-415-13342-5 | ||
| 035 | |a (OCoLC)191935978 | ||
| 035 | |a (DE-599)BVBBV043079267 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 160 |2 20 | |
| 100 | 1 | |a Howson, Colin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic with trees |b an introduction to symbolic logic |c Colin Howson |
| 264 | 1 | |a London |b Routledge |c 1997 | |
| 300 | |a 1 Online-Ressource (xiii, 197 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. [189]-190) and indexes | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 7 | |a PHILOSOPHY / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028503459 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175469958922240 |
|---|---|
| any_adam_object | |
| author | Howson, Colin |
| author_facet | Howson, Colin |
| author_role | aut |
| author_sort | Howson, Colin |
| author_variant | c h ch |
| building | Verbundindex |
| bvnumber | BV043079267 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)191935978 (DE-599)BVBBV043079267 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03023nmm a2200541zc 4500</leader><controlfield tag="001">BV043079267</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1997 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203976738</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-203-97673-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133416</subfield><subfield code="c">hard</subfield><subfield code="9">0-415-13341-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133416</subfield><subfield code="c">hard</subfield><subfield code="9">0-415-13341-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133424</subfield><subfield code="9">0-415-13342-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133424</subfield><subfield code="9">0-415-13342-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203976739</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-203-97673-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415133418</subfield><subfield code="c">hard</subfield><subfield code="9">978-0-415-13341-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415133425</subfield><subfield code="9">978-0-415-13342-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)191935978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043079267</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Howson, Colin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic with trees</subfield><subfield code="b">an introduction to symbolic logic</subfield><subfield code="c">Colin Howson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Routledge</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 197 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [189]-190) and indexes</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028503459</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV043079267 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:47Z |
| institution | BVB |
| isbn | 0203976738 0415133416 0415133424 9780203976739 9780415133418 9780415133425 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028503459 |
| oclc_num | 191935978 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiii, 197 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Routledge |
| record_format | marc |
| spelling | Howson, Colin Verfasser aut Logic with trees an introduction to symbolic logic Colin Howson London Routledge 1997 1 Online-Ressource (xiii, 197 p.) txt rdacontent c rdamedia cr rdacarrier 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 index 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 PHILOSOPHY / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Howson, Colin Logic with trees an introduction to symbolic logic PHILOSOPHY / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Logic with trees an introduction to symbolic logic |
| title_auth | Logic with trees an introduction to symbolic logic |
| title_exact_search | Logic with trees an introduction to symbolic logic |
| title_full | Logic with trees an introduction to symbolic logic Colin Howson |
| title_fullStr | Logic with trees an introduction to symbolic logic Colin Howson |
| title_full_unstemmed | Logic with trees an introduction to symbolic logic Colin Howson |
| title_short | Logic with trees |
| title_sort | logic with trees an introduction to symbolic logic |
| title_sub | an introduction to symbolic logic |
| topic | PHILOSOPHY / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | PHILOSOPHY / Logic Logic, Symbolic and mathematical Mathematische Logik Einführung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=141170 |
| work_keys_str_mv | AT howsoncolin logicwithtreesanintroductiontosymboliclogic |