Einführung in die klassische und intensionale Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1992
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Neben der klassischen Pradikatenlogik haben in der theoretischen Lingu istik und Informatik auch intensionale Systeme in Form von Modal-, Zeit und Berechnungslogiken Beachtung gefunden. Selbst in der formalen Arithmetik sind diese Systeme von Nutzen, wie zum Beispiel der Solovay sche Vollstandigskeitssatz zeigt. Intensionale Logiken, so wie sie hier verstanden werden, halten an der klassischen zweiwertigen Logik fest, erweitern aber deren Ausdrucks fahigkeit durch EinfUhrung von Modal-, Zeit- und Zustandsoperatoren. Auf Seiten der Semantik wird der (auf A. Tarski zurUckgehende) Modell begriff der gewohnlichen Pradikatenlogik durch EinfUhrung weiterer Para meter der neuen Situation angepaBt. Diese Entwicklung ist wesentlich durch S. Kripkes Untersuchungen zur Semantik modaler Systeme [38], [39] und [40] beeinfluBt worden. Das vorliegende Buch, als EinfUhrung in die mathematische Logik konzi piert, versucht neben den klassischen Systemen auch intensionale gebUh rend zu berUcksichtigen. Der Text ist letztlich aus Vorlesungen hervor gegangen, die der Verfasser regelmaBig fUr Studierende der theoreti schen Linguistik an der Universitat Konstanz hielt. Dabei ist in manchen Teilen der Umfang der jetzigen Darstellung weit Uber den Stoff dieser Vorlesung hinausgewachsen. Der einfUhrende Charakter des Textes bringt es mit sich, daB wenig Originelles darin zu finden ist. Hinsichtlich der Darstellung konnten eine Reihe ausgezeichneter BUcher und Artikel zu Rate gezogen werden. Besonders erwahnt seien [8], [26], [36], [53], [54] und [57]. - Der Text gliedert sich grob wie folgt: 1m ersten Paragraphen wird die zugrunde gelegte mengentheoretische Notation erklart und einige Ubliche Konventionen getroffen |
| Beschreibung: | 1 Online-Ressource (VIII, 354S.) |
| ISBN: | 9783322849908 9783528064891 |
| DOI: | 10.1007/978-3-322-84990-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042443947 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150324s1992 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322849908 |c Online |9 978-3-322-84990-8 | ||
| 020 | |a 9783528064891 |c Print |9 978-3-528-06489-1 | ||
| 024 | 7 | |a 10.1007/978-3-322-84990-8 |2 doi | |
| 035 | |a (OCoLC)864071595 | ||
| 035 | |a (DE-599)BVBBV042443947 | ||
| 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 Friedrichsdorf, Ulf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Einführung in die klassische und intensionale Logik |c von Ulf Friedrichsdorf |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1992 | |
| 300 | |a 1 Online-Ressource (VIII, 354S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Neben der klassischen Pradikatenlogik haben in der theoretischen Lingu istik und Informatik auch intensionale Systeme in Form von Modal-, Zeit und Berechnungslogiken Beachtung gefunden. Selbst in der formalen Arithmetik sind diese Systeme von Nutzen, wie zum Beispiel der Solovay sche Vollstandigskeitssatz zeigt. Intensionale Logiken, so wie sie hier verstanden werden, halten an der klassischen zweiwertigen Logik fest, erweitern aber deren Ausdrucks fahigkeit durch EinfUhrung von Modal-, Zeit- und Zustandsoperatoren. Auf Seiten der Semantik wird der (auf A. Tarski zurUckgehende) Modell begriff der gewohnlichen Pradikatenlogik durch EinfUhrung weiterer Para meter der neuen Situation angepaBt. Diese Entwicklung ist wesentlich durch S. Kripkes Untersuchungen zur Semantik modaler Systeme [38], [39] und [40] beeinfluBt worden. Das vorliegende Buch, als EinfUhrung in die mathematische Logik konzi piert, versucht neben den klassischen Systemen auch intensionale gebUh rend zu berUcksichtigen. Der Text ist letztlich aus Vorlesungen hervor gegangen, die der Verfasser regelmaBig fUr Studierende der theoreti schen Linguistik an der Universitat Konstanz hielt. Dabei ist in manchen Teilen der Umfang der jetzigen Darstellung weit Uber den Stoff dieser Vorlesung hinausgewachsen. Der einfUhrende Charakter des Textes bringt es mit sich, daB wenig Originelles darin zu finden ist. Hinsichtlich der Darstellung konnten eine Reihe ausgezeichneter BUcher und Artikel zu Rate gezogen werden. Besonders erwahnt seien [8], [26], [36], [53], [54] und [57]. - Der Text gliedert sich grob wie folgt: 1m ersten Paragraphen wird die zugrunde gelegte mengentheoretische Notation erklart und einige Ubliche Konventionen getroffen | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-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 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 Intensionale Logik |0 (DE-588)4161959-6 |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-84990-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-027879193 | ||
| 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_ | 1804153138446336000 |
|---|---|
| any_adam_object | |
| author | Friedrichsdorf, Ulf |
| author_facet | Friedrichsdorf, Ulf |
| author_role | aut |
| author_sort | Friedrichsdorf, Ulf |
| author_variant | u f uf |
| building | Verbundindex |
| bvnumber | BV042443947 |
| classification_tum | NAT 000 |
| collection | ZDB-2-SNA ZDB-2-BAD |
| ctrlnum | (OCoLC)864071595 (DE-599)BVBBV042443947 |
| 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-322-84990-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04044nmm a2200625zc 4500</leader><controlfield tag="001">BV042443947</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150324s1992 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322849908</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-84990-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528064891</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-06489-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-84990-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864071595</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042443947</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">Friedrichsdorf, Ulf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die klassische und intensionale Logik</subfield><subfield code="c">von Ulf Friedrichsdorf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 354S.)</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">Neben der klassischen Pradikatenlogik haben in der theoretischen Lingu istik und Informatik auch intensionale Systeme in Form von Modal-, Zeit und Berechnungslogiken Beachtung gefunden. Selbst in der formalen Arithmetik sind diese Systeme von Nutzen, wie zum Beispiel der Solovay sche Vollstandigskeitssatz zeigt. Intensionale Logiken, so wie sie hier verstanden werden, halten an der klassischen zweiwertigen Logik fest, erweitern aber deren Ausdrucks fahigkeit durch EinfUhrung von Modal-, Zeit- und Zustandsoperatoren. Auf Seiten der Semantik wird der (auf A. Tarski zurUckgehende) Modell begriff der gewohnlichen Pradikatenlogik durch EinfUhrung weiterer Para meter der neuen Situation angepaBt. Diese Entwicklung ist wesentlich durch S. Kripkes Untersuchungen zur Semantik modaler Systeme [38], [39] und [40] beeinfluBt worden. Das vorliegende Buch, als EinfUhrung in die mathematische Logik konzi piert, versucht neben den klassischen Systemen auch intensionale gebUh rend zu berUcksichtigen. Der Text ist letztlich aus Vorlesungen hervor gegangen, die der Verfasser regelmaBig fUr Studierende der theoreti schen Linguistik an der Universitat Konstanz hielt. Dabei ist in manchen Teilen der Umfang der jetzigen Darstellung weit Uber den Stoff dieser Vorlesung hinausgewachsen. Der einfUhrende Charakter des Textes bringt es mit sich, daB wenig Originelles darin zu finden ist. Hinsichtlich der Darstellung konnten eine Reihe ausgezeichneter BUcher und Artikel zu Rate gezogen werden. Besonders erwahnt seien [8], [26], [36], [53], [54] und [57]. - Der Text gliedert sich grob wie folgt: 1m ersten Paragraphen wird die zugrunde gelegte mengentheoretische Notation erklart und einige Ubliche Konventionen getroffen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</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">Engineering</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">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-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">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">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-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="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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-84990-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-027879193</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.BV042443947 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:50Z |
| institution | BVB |
| isbn | 9783322849908 9783528064891 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027879193 |
| oclc_num | 864071595 |
| 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, 354S.) |
| psigel | ZDB-2-SNA ZDB-2-BAD ZDB-2-SNA_Archive |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Friedrichsdorf, Ulf Verfasser aut Einführung in die klassische und intensionale Logik von Ulf Friedrichsdorf Wiesbaden Vieweg+Teubner Verlag 1992 1 Online-Ressource (VIII, 354S.) txt rdacontent c rdamedia cr rdacarrier Neben der klassischen Pradikatenlogik haben in der theoretischen Lingu istik und Informatik auch intensionale Systeme in Form von Modal-, Zeit und Berechnungslogiken Beachtung gefunden. Selbst in der formalen Arithmetik sind diese Systeme von Nutzen, wie zum Beispiel der Solovay sche Vollstandigskeitssatz zeigt. Intensionale Logiken, so wie sie hier verstanden werden, halten an der klassischen zweiwertigen Logik fest, erweitern aber deren Ausdrucks fahigkeit durch EinfUhrung von Modal-, Zeit- und Zustandsoperatoren. Auf Seiten der Semantik wird der (auf A. Tarski zurUckgehende) Modell begriff der gewohnlichen Pradikatenlogik durch EinfUhrung weiterer Para meter der neuen Situation angepaBt. Diese Entwicklung ist wesentlich durch S. Kripkes Untersuchungen zur Semantik modaler Systeme [38], [39] und [40] beeinfluBt worden. Das vorliegende Buch, als EinfUhrung in die mathematische Logik konzi piert, versucht neben den klassischen Systemen auch intensionale gebUh rend zu berUcksichtigen. Der Text ist letztlich aus Vorlesungen hervor gegangen, die der Verfasser regelmaBig fUr Studierende der theoreti schen Linguistik an der Universitat Konstanz hielt. Dabei ist in manchen Teilen der Umfang der jetzigen Darstellung weit Uber den Stoff dieser Vorlesung hinausgewachsen. Der einfUhrende Charakter des Textes bringt es mit sich, daB wenig Originelles darin zu finden ist. Hinsichtlich der Darstellung konnten eine Reihe ausgezeichneter BUcher und Artikel zu Rate gezogen werden. Besonders erwahnt seien [8], [26], [36], [53], [54] und [57]. - Der Text gliedert sich grob wie folgt: 1m ersten Paragraphen wird die zugrunde gelegte mengentheoretische Notation erklart und einige Ubliche Konventionen getroffen Mathematics Logic design Logic, Symbolic and mathematical Engineering Mathematical Logic and Foundations Logics and Meanings of Programs Engineering, general Ingenieurwissenschaften Mathematik Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Intensionale Logik (DE-588)4161959-6 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Logik (DE-588)4036202-4 s 4\p DE-604 https://doi.org/10.1007/978-3-322-84990-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 | Friedrichsdorf, Ulf Einführung in die klassische und intensionale Logik Mathematics Logic design Logic, Symbolic and mathematical Engineering Mathematical Logic and Foundations Logics and Meanings of Programs Engineering, general Ingenieurwissenschaften Mathematik Intensionale Logik (DE-588)4161959-6 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4161959-6 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Einführung in die klassische und intensionale Logik |
| title_auth | Einführung in die klassische und intensionale Logik |
| title_exact_search | Einführung in die klassische und intensionale Logik |
| title_full | Einführung in die klassische und intensionale Logik von Ulf Friedrichsdorf |
| title_fullStr | Einführung in die klassische und intensionale Logik von Ulf Friedrichsdorf |
| title_full_unstemmed | Einführung in die klassische und intensionale Logik von Ulf Friedrichsdorf |
| title_short | Einführung in die klassische und intensionale Logik |
| title_sort | einfuhrung in die klassische und intensionale logik |
| topic | Mathematics Logic design Logic, Symbolic and mathematical Engineering Mathematical Logic and Foundations Logics and Meanings of Programs Engineering, general Ingenieurwissenschaften Mathematik Intensionale Logik (DE-588)4161959-6 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematics Logic design Logic, Symbolic and mathematical Engineering Mathematical Logic and Foundations Logics and Meanings of Programs Engineering, general Ingenieurwissenschaften Mathematik Intensionale Logik Logik Mathematische Logik Einführung |
| url | https://doi.org/10.1007/978-3-322-84990-8 |
| work_keys_str_mv | AT friedrichsdorfulf einfuhrungindieklassischeundintensionalelogik |