A mathematical introduction to logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Diego ; New York ; Boston ; London ; Toronto ; Sydney ; Tokyo
Harcourt/Academic Press
[2001]
|
| Ausgabe: | Second edition |
| Schlagworte: | |
| Online-Zugang: | DE-1046 DE-91 DE-19 Volltext |
| Beschreibung: | Includes bibliographical references (pages 307-308) and index A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students |
| Beschreibung: | 1 Online-Ressource (xii, 317 Seiten) Illustrationen, Diagramme |
| ISBN: | 9780080496467 |
| DOI: | 10.1016/C2009-0-22107-6 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044383896 | ||
| 003 | DE-604 | ||
| 005 | 20241211 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s2001 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9780080496467 |c Online |9 978-0-08-049646-7 | ||
| 024 | 7 | |a 10.1016/C2009-0-22107-6 |2 doi | |
| 035 | |a (ZDB-33-ESD)ocn166269598 | ||
| 035 | |a (OCoLC)166269598 | ||
| 035 | |a (DE-599)BVBBV044383896 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-91G |a DE-19 |a DE-83 | ||
| 082 | 0 | |a 511/.3 |2 22 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 652 |2 stub | ||
| 084 | |a MAT 040 |2 stub | ||
| 084 | |a DAT 517 |2 stub | ||
| 084 | |a PHI 350 |2 stub | ||
| 084 | |a DAT 540 |2 stub | ||
| 100 | 1 | |a Enderton, Herbert B. |d 1936-2010 |e Verfasser |0 (DE-588)143379356 |4 aut | |
| 245 | 1 | 0 | |a A mathematical introduction to logic |c Herbert B. Enderton |
| 250 | |a Second edition | ||
| 264 | 1 | |a San Diego ; New York ; Boston ; London ; Toronto ; Sydney ; Tokyo |b Harcourt/Academic Press |c [2001] | |
| 264 | 4 | |c © 2001 | |
| 300 | |a 1 Online-Ressource (xii, 317 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 307-308) and index | ||
| 500 | |a A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-12-238452-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1016/C2009-0-22107-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-33-ESD | ||
| 912 | |a ZDB-4-NLEBK | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029786117 | |
| 966 | e | |u https://www.sciencedirect.com/book/9780122384523 |l DE-1046 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
| 966 | e | |u https://www.sciencedirect.com/book/9780122384523 |l DE-1046 |p ZDB-33-ESD |q FAW_Textbooks_EBETPS |x Verlag |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=195508 |l DE-91 |p ZDB-4-NLEBK |q TUM_Einzelkauf_2022 |x Aggregator |3 Volltext | |
| 966 | e | |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=195508 |l DE-19 |p ZDB-4-NLEBK |q UBM_Einzelkauf_2024 |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818156679796097024 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Enderton, Herbert B. 1936-2010 |
| author_GND | (DE-588)143379356 |
| author_facet | Enderton, Herbert B. 1936-2010 |
| author_role | aut |
| author_sort | Enderton, Herbert B. 1936-2010 |
| author_variant | h b e hb hbe |
| building | Verbundindex |
| bvnumber | BV044383896 |
| classification_rvk | CC 2400 SK 130 |
| classification_tum | DAT 652 MAT 040 DAT 517 PHI 350 DAT 540 |
| collection | ZDB-33-ESD ZDB-4-NLEBK |
| ctrlnum | (ZDB-33-ESD)ocn166269598 (OCoLC)166269598 (DE-599)BVBBV044383896 |
| dewey-full | 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 |
| dewey-search | 511/.3 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Philosophie / Ethik Philosophie |
| doi_str_mv | 10.1016/C2009-0-22107-6 |
| edition | Second edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV044383896</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241211</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s2001 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080496467</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-08-049646-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/C2009-0-22107-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn166269598</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)166269598</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044383896</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 652</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 350</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Enderton, Herbert B.</subfield><subfield code="d">1936-2010</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)143379356</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A mathematical introduction to logic</subfield><subfield code="c">Herbert B. Enderton</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Diego ; New York ; Boston ; London ; Toronto ; Sydney ; Tokyo</subfield><subfield code="b">Harcourt/Academic Press</subfield><subfield code="c">[2001]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 317 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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 (pages 307-308) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / 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="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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="689" ind1="1" 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="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-12-238452-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/C2009-0-22107-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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="883" ind1="1" ind2=" "><subfield code="8">3\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="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-NLEBK</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029786117</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/book/9780122384523</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/book/9780122384523</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_Textbooks_EBETPS</subfield><subfield code="x">Verlag</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=195508</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-4-NLEBK</subfield><subfield code="q">TUM_Einzelkauf_2022</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=195508</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-4-NLEBK</subfield><subfield code="q">UBM_Einzelkauf_2024</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.BV044383896 |
| illustrated | Illustrated |
| indexdate | 2024-12-11T15:02:08Z |
| institution | BVB |
| isbn | 9780080496467 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029786117 |
| oclc_num | 166269598 |
| open_access_boolean | |
| owner | DE-1046 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-1046 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 |
| physical | 1 Online-Ressource (xii, 317 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-33-ESD ZDB-4-NLEBK ZDB-33-ESD FAW_PDA_ESD ZDB-33-ESD FAW_Textbooks_EBETPS ZDB-4-NLEBK TUM_Einzelkauf_2022 ZDB-4-NLEBK UBM_Einzelkauf_2024 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Harcourt/Academic Press |
| record_format | marc |
| spelling | Enderton, Herbert B. 1936-2010 Verfasser (DE-588)143379356 aut A mathematical introduction to logic Herbert B. Enderton Second edition San Diego ; New York ; Boston ; London ; Toronto ; Sydney ; Tokyo Harcourt/Academic Press [2001] © 2001 1 Online-Ressource (xii, 317 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 307-308) and index A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Wiskundige logica gtt Symbolische logica gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Erscheint auch als Druck-Ausgabe 978-0-12-238452-3 https://doi.org/10.1016/C2009-0-22107-6 Verlag URL des Erstveröffentlichers 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Enderton, Herbert B. 1936-2010 A mathematical introduction to logic Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Wiskundige logica gtt Symbolische logica gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4037944-9 (DE-588)4151278-9 |
| title | A mathematical introduction to logic |
| title_auth | A mathematical introduction to logic |
| title_exact_search | A mathematical introduction to logic |
| title_full | A mathematical introduction to logic Herbert B. Enderton |
| title_fullStr | A mathematical introduction to logic Herbert B. Enderton |
| title_full_unstemmed | A mathematical introduction to logic Herbert B. Enderton |
| title_short | A mathematical introduction to logic |
| title_sort | a mathematical introduction to logic |
| topic | Logique symbolique et mathématique MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Wiskundige logica gtt Symbolische logica gtt Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Logique symbolique et mathématique MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Wiskundige logica Symbolische logica Mathematische Logik Logik Mathematik Einführung |
| url | https://doi.org/10.1016/C2009-0-22107-6 |
| work_keys_str_mv | AT endertonherbertb amathematicalintroductiontologic |