Grundzüge der Theoretischen Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1959
|
| Ausgabe: | Vierte Auflage |
| Schriftenreihe: | Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete
27 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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. |
| Beschreibung: | 1 Online-Ressource (VIII, 188 S.) |
| ISBN: | 9783642654008 9783642654015 |
| ISSN: | 0072-7830 |
| DOI: | 10.1007/978-3-642-65400-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042446309 | ||
| 003 | DE-604 | ||
| 005 | 20161221 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1959 |||| o||u| ||||||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 Kalkül |0 (DE-588)4163108-0 |2 gnd |9 rswk-swf |
| 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 |
| 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 |
| 912 | |a ZDB-2-SNA |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SNA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027881556 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153143606378496 |
|---|---|
| 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>04075nmm a2200625zcb4500</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 |||| o||u| ||||||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">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="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="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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SNA</subfield><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027881556</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></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 | 2024-07-10T01:21:55Z |
| 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 Kalkül (DE-588)4163108-0 gnd rswk-swf 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 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 Kalkül (DE-588)4163108-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4163108-0 (DE-588)4037951-6 (DE-588)4158388-7 (DE-588)4036202-4 (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 Kalkül (DE-588)4163108-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Kalkül Mathematische Logik Grundlage Logik Einführung |
| url | https://doi.org/10.1007/978-3-642-65400-8 |
| work_keys_str_mv | AT hilbertdavid grundzugedertheoretischenlogik AT ackermannwilhelm grundzugedertheoretischenlogik |