Einführung in die klassische und intensionale Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Braunschweig u.a.
Vieweg
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 354 S. |
| ISBN: | 3528064897 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005576943 | ||
| 003 | DE-604 | ||
| 005 | 20031121 | ||
| 007 | t | ||
| 008 | 920817s1992 gw |||| 00||| ger d | ||
| 020 | |a 3528064897 |9 3-528-06489-7 | ||
| 035 | |a (OCoLC)243727505 | ||
| 035 | |a (DE-599)BVBBV005576943 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NI | ||
| 049 | |a DE-859 |a DE-19 |a DE-384 |a DE-473 |a DE-70 |a DE-12 |a DE-91G |a DE-355 |a DE-20 |a DE-739 |a DE-29 |a DE-703 |a DE-M468 |a DE-521 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Friedrichsdorf, Ulf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Einführung in die klassische und intensionale Logik |c Ulf Friedrichsdorf |
| 264 | 1 | |a Braunschweig u.a. |b Vieweg |c 1992 | |
| 300 | |a VI, 354 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 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 | |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003492703&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003492703 | ||
Datensatz im Suchindex
| _version_ | 1804119788912377856 |
|---|---|
| adam_text | Inhaltsverzeichnis
Vorwort VI
§1 Mengen, Relationen und Funktionen 1
§2 Aussagenlogik 19
§3 Modale Aussagenlogik 45
§4 Varianten der modalen Aussagenlogik 89
§5 Grundbegriffe der Prädikatenlogik 109
§6 Normalformen und der Satz von Herbrand 143
§7 Der Gödelsche Vollständigkeitssatz 154
§8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze 171
§9 Einige modelltheoretische Begriffe und Sätze 209
§10 Modale Prädikatenlogik 259
§11 Dynamische Prädikatenlogik 273
§12 Höherstufige Prädikatenlogik 293
§13 Typentheorie 309
Mengentheoretischer Anhang 333
Literatur 343
Symbole und Notationen 347
Register 349
|
| any_adam_object | 1 |
| author | Friedrichsdorf, Ulf |
| author_facet | Friedrichsdorf, Ulf |
| author_role | aut |
| author_sort | Friedrichsdorf, Ulf |
| author_variant | u f uf |
| building | Verbundindex |
| bvnumber | BV005576943 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 SK 130 ST 125 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)243727505 (DE-599)BVBBV005576943 |
| 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 | Informatik Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01862nam a2200481 c 4500</leader><controlfield tag="001">BV005576943</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031121 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920817s1992 gw |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528064897</subfield><subfield code="9">3-528-06489-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243727505</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005576943</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NI</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</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">Ulf Friedrichsdorf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig u.a.</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 354 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</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">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="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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003492703&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003492703</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV005576943 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:31:46Z |
| institution | BVB |
| isbn | 3528064897 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003492703 |
| oclc_num | 243727505 |
| open_access_boolean | |
| owner | DE-859 DE-19 DE-BY-UBM DE-384 DE-473 DE-BY-UBG DE-70 DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-739 DE-29 DE-703 DE-M468 DE-521 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-859 DE-19 DE-BY-UBM DE-384 DE-473 DE-BY-UBG DE-70 DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-739 DE-29 DE-703 DE-M468 DE-521 DE-634 DE-83 DE-11 DE-188 |
| physical | VI, 354 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Vieweg |
| record_format | marc |
| spelling | Friedrichsdorf, Ulf Verfasser aut Einführung in die klassische und intensionale Logik Ulf Friedrichsdorf Braunschweig u.a. Vieweg 1992 VI, 354 S. txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical 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 (DE-588)4151278-9 Einführung gnd-content Intensionale Logik (DE-588)4161959-6 s DE-604 Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003492703&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Friedrichsdorf, Ulf Einführung in die klassische und intensionale Logik Logic, Symbolic and mathematical 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 Ulf Friedrichsdorf |
| title_fullStr | Einführung in die klassische und intensionale Logik Ulf Friedrichsdorf |
| title_full_unstemmed | Einführung in die klassische und intensionale Logik Ulf Friedrichsdorf |
| title_short | Einführung in die klassische und intensionale Logik |
| title_sort | einfuhrung in die klassische und intensionale logik |
| topic | Logic, Symbolic and mathematical Intensionale Logik (DE-588)4161959-6 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Intensionale Logik Logik Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003492703&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT friedrichsdorfulf einfuhrungindieklassischeundintensionalelogik |