Grundzüge der Theoretischen Logik:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1959
|
| Edition: | Vierte Auflage |
| Series: | Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete
27 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formelsprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daß es gelang, einen brauchbaren und leistungsfähigen Formalismus zu finden. - Was durch die Formelsprache in der Mathematik erreicht wird, das soll auch in der theoretischen Logik durch diese erzielt werden, nämlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten können. Der Übergang zu logischen Folgerungen, wie er durch das Schließen geschieht, wird in seine letzten Elemente zerlegt und erscheint als formale Umgestaltung der Ausgangsformeln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem Logikkalkül. Dieser Kalkül macht die erfolgreiche Inangriffnahme von Problemen möglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehört z. B. |
| Physical Description: | 1 Online-Ressource (VIII, 188 S.) |
| ISBN: | 9783642654008 9783642654015 |
| ISSN: | 0072-7830 |
| DOI: | 10.1007/978-3-642-65400-8 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042446309 | ||
| 003 | DE-604 | ||
| 005 | 20161221 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1959 xx o|||| 00||| ger d | ||
| 020 | |a 9783642654008 |c Online |9 978-3-642-65400-8 | ||
| 020 | |a 9783642654015 |c Print |9 978-3-642-65401-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-65400-8 |2 doi | |
| 035 | |a (OCoLC)906887503 | ||
| 035 | |a (DE-599)BVBBV042446309 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a NAT 000 |2 stub | ||
| 100 | 1 | |a Hilbert, David |d 1862-1943 |e Verfasser |0 (DE-588)11855090X |4 aut | |
| 245 | 1 | 0 | |a Grundzüge der Theoretischen Logik |c von D. Hilbert, W. Ackermann |
| 250 | |a Vierte Auflage | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1959 | |
| 300 | |a 1 Online-Ressource (VIII, 188 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete |v 27 |x 0072-7830 | |
| 500 | |a Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formelsprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daß es gelang, einen brauchbaren und leistungsfähigen Formalismus zu finden. - Was durch die Formelsprache in der Mathematik erreicht wird, das soll auch in der theoretischen Logik durch diese erzielt werden, nämlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten können. Der Übergang zu logischen Folgerungen, wie er durch das Schließen geschieht, wird in seine letzten Elemente zerlegt und erscheint als formale Umgestaltung der Ausgangsformeln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem Logikkalkül. Dieser Kalkül macht die erfolgreiche Inangriffnahme von Problemen möglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehört z. B. | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kalkül |0 (DE-588)4163108-0 |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 Grundlage |0 (DE-588)4158388-7 |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 | |
| 689 | 2 | 0 | |a Kalkül |0 (DE-588)4163108-0 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Ackermann, Wilhelm |d 1896-1962 |e Sonstige |0 (DE-588)116006080 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-65400-8 |x Verlag |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 | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-SNA | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027881556 | |
Record in the Search Index
| _version_ | 1821765537284227072 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Hilbert, David 1862-1943 |
| author_GND | (DE-588)11855090X (DE-588)116006080 |
| author_facet | Hilbert, David 1862-1943 |
| author_role | aut |
| author_sort | Hilbert, David 1862-1943 |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV042446309 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)906887503 (DE-599)BVBBV042446309 |
| 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.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Allgemeine Naturwissenschaft Mathematik |
| doi_str_mv | 10.1007/978-3-642-65400-8 |
| edition | Vierte Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042446309</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161221</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1959 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642654008</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-65400-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642654015</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-65401-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-65400-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)906887503</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042446309</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">NAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hilbert, David</subfield><subfield code="d">1862-1943</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)11855090X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundzüge der Theoretischen Logik</subfield><subfield code="c">von D. Hilbert, W. Ackermann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Vierte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1959</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 188 S.)</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="490" ind1="0" ind2=" "><subfield code="a">Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete</subfield><subfield code="v">27</subfield><subfield code="x">0072-7830</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formelsprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daß es gelang, einen brauchbaren und leistungsfähigen Formalismus zu finden. - Was durch die Formelsprache in der Mathematik erreicht wird, das soll auch in der theoretischen Logik durch diese erzielt werden, nämlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten können. Der Übergang zu logischen Folgerungen, wie er durch das Schließen geschieht, wird in seine letzten Elemente zerlegt und erscheint als formale Umgestaltung der Ausgangsformeln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem Logikkalkül. Dieser Kalkül macht die erfolgreiche Inangriffnahme von Problemen möglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehört z. B.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</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">Kalkül</subfield><subfield code="0">(DE-588)4163108-0</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">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</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="689" ind1="2" ind2="0"><subfield code="a">Kalkül</subfield><subfield code="0">(DE-588)4163108-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ackermann, Wilhelm</subfield><subfield code="d">1896-1962</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)116006080</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-65400-8</subfield><subfield code="x">Verlag</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="883" ind1="1" ind2=" "><subfield code="8">4\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-2-SNA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SNA_Archive</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027881556</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042446309 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-20T11:03:23Z |
| institution | BVB |
| isbn | 9783642654008 9783642654015 |
| issn | 0072-7830 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027881556 |
| oclc_num | 906887503 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-706 |
| physical | 1 Online-Ressource (VIII, 188 S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1959 |
| publishDateSearch | 1959 |
| publishDateSort | 1959 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete |
| spelling | Hilbert, David 1862-1943 Verfasser (DE-588)11855090X aut Grundzüge der Theoretischen Logik von D. Hilbert, W. Ackermann Vierte Auflage Berlin, Heidelberg Springer Berlin Heidelberg 1959 1 Online-Ressource (VIII, 188 S.) txt rdacontent c rdamedia cr rdacarrier Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete 27 0072-7830 Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formelsprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daß es gelang, einen brauchbaren und leistungsfähigen Formalismus zu finden. - Was durch die Formelsprache in der Mathematik erreicht wird, das soll auch in der theoretischen Logik durch diese erzielt werden, nämlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten können. Der Übergang zu logischen Folgerungen, wie er durch das Schließen geschieht, wird in seine letzten Elemente zerlegt und erscheint als formale Umgestaltung der Ausgangsformeln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem Logikkalkül. Dieser Kalkül macht die erfolgreiche Inangriffnahme von Problemen möglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehört z. B. Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Kalkül (DE-588)4163108-0 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Grundlage (DE-588)4158388-7 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Kalkül (DE-588)4163108-0 s 4\p DE-604 Ackermann, Wilhelm 1896-1962 Sonstige (DE-588)116006080 oth https://doi.org/10.1007/978-3-642-65400-8 Verlag 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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hilbert, David 1862-1943 Grundzüge der Theoretischen Logik Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Logik (DE-588)4036202-4 gnd Kalkül (DE-588)4163108-0 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4158388-7 (DE-588)4036202-4 (DE-588)4163108-0 (DE-588)4151278-9 |
| title | Grundzüge der Theoretischen Logik |
| title_auth | Grundzüge der Theoretischen Logik |
| title_exact_search | Grundzüge der Theoretischen Logik |
| title_full | Grundzüge der Theoretischen Logik von D. Hilbert, W. Ackermann |
| title_fullStr | Grundzüge der Theoretischen Logik von D. Hilbert, W. Ackermann |
| title_full_unstemmed | Grundzüge der Theoretischen Logik von D. Hilbert, W. Ackermann |
| title_short | Grundzüge der Theoretischen Logik |
| title_sort | grundzuge der theoretischen logik |
| topic | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Logik (DE-588)4036202-4 gnd Kalkül (DE-588)4163108-0 gnd |
| topic_facet | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Mathematische Logik Grundlage Logik Kalkül Einführung |
| url | https://doi.org/10.1007/978-3-642-65400-8 |
| work_keys_str_mv | AT hilbertdavid grundzugedertheoretischenlogik AT ackermannwilhelm grundzugedertheoretischenlogik |