Logic /:
Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Lo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London ; New York :
Routledge,
1999.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:* The Theory of Validity* The Language of Propositional Logic* Proof-Theory for Propositional Logic* Formal Semantics for Propositional Logic including the Truth-Tree Method* The Language of Quantificational Logic including the Th. |
| Beschreibung: | 1 online resource (xv, 411 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 399-401) and index. |
| ISBN: | 0203197038 9780203197035 9780415166959 0415166950 9780415166966 0415166969 9786610325023 6610325022 1134705921 9781134705924 128032502X 9781280325021 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm50496576 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 020828s1999 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d QE2 |d IDEBK |d MERUC |d CCO |d E7B |d MT4IT |d EBLCP |d DKDLA |d OCLCO |d FVL |d OCLCQ |d OTZ |d OCLCF |d OCLCQ |d BTCTA |d DEBBG |d NLGGC |d OCLCQ |d TYFRS |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFBR |d ZCU |d OCLCQ |d COCUF |d OCLCQ |d U3W |d CN8ML |d STF |d WRM |d OCLCQ |d VTS |d CEF |d NRAMU |d ICG |d VT2 |d OCLCQ |d LHU |d WYU |d TKN |d JBG |d DKC |d AU@ |d OCLCQ |d UKAHL |d OCLCQ |d K6U |d OCLCQ |d HS0 |d AUD |d W2U |d CNTRU |d BRX |d UKCRE |d OH# |d DGN |d YDX |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 015 | |a GB9916643 |2 bnb | ||
| 019 | |a 252786370 |a 263594701 |a 299512513 |a 437077542 |a 455989305 |a 467148178 |a 488746786 |a 503061655 |a 560056925 |a 647349027 |a 722239256 |a 728016199 |a 756873789 |a 888526541 |a 961570208 |a 962645833 |a 988497997 |a 991989613 |a 994685518 |a 1037747772 |a 1038566905 |a 1044268537 |a 1044562103 |a 1045500324 |a 1048122561 |a 1055329292 |a 1056319271 |a 1056392675 |a 1081210856 |a 1086422659 |a 1109363938 |a 1152972262 |a 1153519686 | ||
| 020 | |a 0203197038 |q (electronic bk.) | ||
| 020 | |a 9780203197035 |q (electronic bk.) | ||
| 020 | |a 9780415166959 |q (hardcover) | ||
| 020 | |a 0415166950 |q (hardcover) | ||
| 020 | |a 9780415166966 |q (pbk.) | ||
| 020 | |a 0415166969 |q (pbk.) | ||
| 020 | |a 9786610325023 | ||
| 020 | |a 6610325022 | ||
| 020 | |a 1134705921 | ||
| 020 | |a 9781134705924 | ||
| 020 | |a 128032502X | ||
| 020 | |a 9781280325021 | ||
| 035 | |a (OCoLC)50496576 |z (OCoLC)252786370 |z (OCoLC)263594701 |z (OCoLC)299512513 |z (OCoLC)437077542 |z (OCoLC)455989305 |z (OCoLC)467148178 |z (OCoLC)488746786 |z (OCoLC)503061655 |z (OCoLC)560056925 |z (OCoLC)647349027 |z (OCoLC)722239256 |z (OCoLC)728016199 |z (OCoLC)756873789 |z (OCoLC)888526541 |z (OCoLC)961570208 |z (OCoLC)962645833 |z (OCoLC)988497997 |z (OCoLC)991989613 |z (OCoLC)994685518 |z (OCoLC)1037747772 |z (OCoLC)1038566905 |z (OCoLC)1044268537 |z (OCoLC)1044562103 |z (OCoLC)1045500324 |z (OCoLC)1048122561 |z (OCoLC)1055329292 |z (OCoLC)1056319271 |z (OCoLC)1056392675 |z (OCoLC)1081210856 |z (OCoLC)1086422659 |z (OCoLC)1109363938 |z (OCoLC)1152972262 |z (OCoLC)1153519686 | ||
| 050 | 4 | |a BC108 |b .T66 1999eb | |
| 055 | 1 | 3 | |a BC108 |b .T66 1999eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 7 | |a 160 |2 21 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Tomassi, Paul, |d 1962- |1 https://id.oclc.org/worldcat/entity/E39PCjDHr7djqd4TW7vkQpmq33 |0 http://id.loc.gov/authorities/names/n98047805 | |
| 245 | 1 | 0 | |a Logic / |c Paul Tomassi. |
| 264 | 1 | |a London ; |a New York : |b Routledge, |c 1999. | |
| 300 | |a 1 online resource (xv, 411 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 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 399-401) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Ch. 1. How to think logically -- ch. 2. How to prove that you can argue logically #1 -- ch. 3. How to prove that you can argue logically #2 -- ch. 4. Formal logic and formal semantics #1 -- ch. 5. An introduction to first order predicate logic -- ch. 6. How to argue logically in QL -- ch. 7. Formal logic and formal semantics #2. | |
| 520 | |a Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:* The Theory of Validity* The Language of Propositional Logic* Proof-Theory for Propositional Logic* Formal Semantics for Propositional Logic including the Truth-Tree Method* The Language of Quantificational Logic including the Th. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Logic. |0 http://id.loc.gov/authorities/subjects/sh85078106 | |
| 650 | 2 | |a Logic |0 https://id.nlm.nih.gov/mesh/D008128 | |
| 650 | 6 | |a Logique. | |
| 650 | 7 | |a logic. |2 aat | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic |2 fast | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 758 | |i has work: |a Logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGK7Mmb4W73hCjc7f8Pwvd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Tomassi, Paul, 1962- |t Logic. |d London ; New York : Routledge, 1999 |z 0415166950 |w (DLC) 98025638 |w (OCoLC)39261891 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=70454 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24246606 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24246607 | ||
| 938 | |a Baker and Taylor |b BTCP |n BK0008772159 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL168646 | ||
| 938 | |a EBSCOhost |b EBSC |n 70454 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203197035 | ||
| 938 | |a YBP Library Services |b YANK |n 301596123 | ||
| 938 | |a YBP Library Services |b YANK |n 2281376 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm50496576 |
|---|---|
| _version_ | 1816881601156481025 |
| adam_text | |
| any_adam_object | |
| author | Tomassi, Paul, 1962- |
| author_GND | http://id.loc.gov/authorities/names/n98047805 |
| author_facet | Tomassi, Paul, 1962- |
| author_role | |
| author_sort | Tomassi, Paul, 1962- |
| author_variant | p t pt |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC108 |
| callnumber-raw | BC108 .T66 1999eb |
| callnumber-search | BC108 .T66 1999eb |
| callnumber-sort | BC 3108 T66 41999EB |
| callnumber-subject | BC - Logic |
| collection | ZDB-4-EBA |
| contents | Ch. 1. How to think logically -- ch. 2. How to prove that you can argue logically #1 -- ch. 3. How to prove that you can argue logically #2 -- ch. 4. Formal logic and formal semantics #1 -- ch. 5. An introduction to first order predicate logic -- ch. 6. How to argue logically in QL -- ch. 7. Formal logic and formal semantics #2. |
| ctrlnum | (OCoLC)50496576 |
| 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>04969cam a2200733 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm50496576 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">020828s1999 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QE2</subfield><subfield code="d">IDEBK</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">MT4IT</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCO</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BTCTA</subfield><subfield code="d">DEBBG</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TYFRS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">CN8ML</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LHU</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">JBG</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HS0</subfield><subfield code="d">AUD</subfield><subfield code="d">W2U</subfield><subfield code="d">CNTRU</subfield><subfield code="d">BRX</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OH#</subfield><subfield code="d">DGN</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GB9916643</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">252786370</subfield><subfield code="a">263594701</subfield><subfield code="a">299512513</subfield><subfield code="a">437077542</subfield><subfield code="a">455989305</subfield><subfield code="a">467148178</subfield><subfield code="a">488746786</subfield><subfield code="a">503061655</subfield><subfield code="a">560056925</subfield><subfield code="a">647349027</subfield><subfield code="a">722239256</subfield><subfield code="a">728016199</subfield><subfield code="a">756873789</subfield><subfield code="a">888526541</subfield><subfield code="a">961570208</subfield><subfield code="a">962645833</subfield><subfield code="a">988497997</subfield><subfield code="a">991989613</subfield><subfield code="a">994685518</subfield><subfield code="a">1037747772</subfield><subfield code="a">1038566905</subfield><subfield code="a">1044268537</subfield><subfield code="a">1044562103</subfield><subfield code="a">1045500324</subfield><subfield code="a">1048122561</subfield><subfield code="a">1055329292</subfield><subfield code="a">1056319271</subfield><subfield code="a">1056392675</subfield><subfield code="a">1081210856</subfield><subfield code="a">1086422659</subfield><subfield code="a">1109363938</subfield><subfield code="a">1152972262</subfield><subfield code="a">1153519686</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203197038</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203197035</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415166959</subfield><subfield code="q">(hardcover)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415166950</subfield><subfield code="q">(hardcover)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415166966</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415166969</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610325023</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610325022</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134705921</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134705924</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">128032502X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280325021</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50496576</subfield><subfield code="z">(OCoLC)252786370</subfield><subfield code="z">(OCoLC)263594701</subfield><subfield code="z">(OCoLC)299512513</subfield><subfield code="z">(OCoLC)437077542</subfield><subfield code="z">(OCoLC)455989305</subfield><subfield code="z">(OCoLC)467148178</subfield><subfield code="z">(OCoLC)488746786</subfield><subfield code="z">(OCoLC)503061655</subfield><subfield code="z">(OCoLC)560056925</subfield><subfield code="z">(OCoLC)647349027</subfield><subfield code="z">(OCoLC)722239256</subfield><subfield code="z">(OCoLC)728016199</subfield><subfield code="z">(OCoLC)756873789</subfield><subfield code="z">(OCoLC)888526541</subfield><subfield code="z">(OCoLC)961570208</subfield><subfield code="z">(OCoLC)962645833</subfield><subfield code="z">(OCoLC)988497997</subfield><subfield code="z">(OCoLC)991989613</subfield><subfield code="z">(OCoLC)994685518</subfield><subfield code="z">(OCoLC)1037747772</subfield><subfield code="z">(OCoLC)1038566905</subfield><subfield code="z">(OCoLC)1044268537</subfield><subfield code="z">(OCoLC)1044562103</subfield><subfield code="z">(OCoLC)1045500324</subfield><subfield code="z">(OCoLC)1048122561</subfield><subfield code="z">(OCoLC)1055329292</subfield><subfield code="z">(OCoLC)1056319271</subfield><subfield code="z">(OCoLC)1056392675</subfield><subfield code="z">(OCoLC)1081210856</subfield><subfield code="z">(OCoLC)1086422659</subfield><subfield code="z">(OCoLC)1109363938</subfield><subfield code="z">(OCoLC)1152972262</subfield><subfield code="z">(OCoLC)1153519686</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC108</subfield><subfield code="b">.T66 1999eb</subfield></datafield><datafield tag="055" ind1="1" ind2="3"><subfield code="a">BC108</subfield><subfield code="b">.T66 1999eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tomassi, Paul,</subfield><subfield code="d">1962-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjDHr7djqd4TW7vkQpmq33</subfield><subfield code="0">http://id.loc.gov/authorities/names/n98047805</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic /</subfield><subfield code="c">Paul Tomassi.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Routledge,</subfield><subfield code="c">1999.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xv, 411 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 399-401) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Ch. 1. How to think logically -- ch. 2. How to prove that you can argue logically #1 -- ch. 3. How to prove that you can argue logically #2 -- ch. 4. Formal logic and formal semantics #1 -- ch. 5. An introduction to first order predicate logic -- ch. 6. How to argue logically in QL -- ch. 7. Formal logic and formal semantics #2.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:* The Theory of Validity* The Language of Propositional Logic* Proof-Theory for Propositional Logic* Formal Semantics for Propositional Logic including the Truth-Tree Method* The Language of Quantificational Logic including the Th.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078106</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Logic</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D008128</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logic.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGK7Mmb4W73hCjc7f8Pwvd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Tomassi, Paul, 1962-</subfield><subfield code="t">Logic.</subfield><subfield code="d">London ; New York : Routledge, 1999</subfield><subfield code="z">0415166950</subfield><subfield code="w">(DLC) 98025638</subfield><subfield code="w">(OCoLC)39261891</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=70454</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24246606</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24246607</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Baker and Taylor</subfield><subfield code="b">BTCP</subfield><subfield code="n">BK0008772159</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL168646</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">70454</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Taylor & Francis</subfield><subfield code="b">TAFR</subfield><subfield code="n">9780203197035</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">301596123</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2281376</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocm50496576 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:18Z |
| institution | BVB |
| isbn | 0203197038 9780203197035 9780415166959 0415166950 9780415166966 0415166969 9786610325023 6610325022 1134705921 9781134705924 128032502X 9781280325021 |
| language | English |
| oclc_num | 50496576 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xv, 411 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Routledge, |
| record_format | marc |
| spelling | Tomassi, Paul, 1962- https://id.oclc.org/worldcat/entity/E39PCjDHr7djqd4TW7vkQpmq33 http://id.loc.gov/authorities/names/n98047805 Logic / Paul Tomassi. London ; New York : Routledge, 1999. 1 online resource (xv, 411 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Includes bibliographical references (pages 399-401) and index. Print version record. Ch. 1. How to think logically -- ch. 2. How to prove that you can argue logically #1 -- ch. 3. How to prove that you can argue logically #2 -- ch. 4. Formal logic and formal semantics #1 -- ch. 5. An introduction to first order predicate logic -- ch. 6. How to argue logically in QL -- ch. 7. Formal logic and formal semantics #2. Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:* The Theory of Validity* The Language of Propositional Logic* Proof-Theory for Propositional Logic* Formal Semantics for Propositional Logic including the Truth-Tree Method* The Language of Quantificational Logic including the Th. English. Logic. http://id.loc.gov/authorities/subjects/sh85078106 Logic https://id.nlm.nih.gov/mesh/D008128 Logique. logic. aat PHILOSOPHY Logic. bisacsh Logic fast Logica. gtt has work: Logic (Text) https://id.oclc.org/worldcat/entity/E39PCGK7Mmb4W73hCjc7f8Pwvd https://id.oclc.org/worldcat/ontology/hasWork Print version: Tomassi, Paul, 1962- Logic. London ; New York : Routledge, 1999 0415166950 (DLC) 98025638 (OCoLC)39261891 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=70454 Volltext |
| spellingShingle | Tomassi, Paul, 1962- Logic / Ch. 1. How to think logically -- ch. 2. How to prove that you can argue logically #1 -- ch. 3. How to prove that you can argue logically #2 -- ch. 4. Formal logic and formal semantics #1 -- ch. 5. An introduction to first order predicate logic -- ch. 6. How to argue logically in QL -- ch. 7. Formal logic and formal semantics #2. Logic. http://id.loc.gov/authorities/subjects/sh85078106 Logic https://id.nlm.nih.gov/mesh/D008128 Logique. logic. aat PHILOSOPHY Logic. bisacsh Logic fast Logica. gtt |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078106 https://id.nlm.nih.gov/mesh/D008128 |
| title | Logic / |
| title_auth | Logic / |
| title_exact_search | Logic / |
| title_full | Logic / Paul Tomassi. |
| title_fullStr | Logic / Paul Tomassi. |
| title_full_unstemmed | Logic / Paul Tomassi. |
| title_short | Logic / |
| title_sort | logic |
| topic | Logic. http://id.loc.gov/authorities/subjects/sh85078106 Logic https://id.nlm.nih.gov/mesh/D008128 Logique. logic. aat PHILOSOPHY Logic. bisacsh Logic fast Logica. gtt |
| topic_facet | Logic. Logic Logique. logic. PHILOSOPHY Logic. Logica. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=70454 |
| work_keys_str_mv | AT tomassipaul logic |