Ein argumentativer Weg zur Logik:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Darmstadt
Wiss. Buchges.
1982
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 212 S. |
| ISBN: | 3534087518 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000088139 | ||
| 003 | DE-604 | ||
| 005 | 19920227 | ||
| 007 | t | ||
| 008 | 870612s1982 |||| 00||| ger d | ||
| 020 | |a 3534087518 |9 3-534-08751-8 | ||
| 035 | |a (OCoLC)10101011 | ||
| 035 | |a (DE-599)BVBBV000088139 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-19 |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-824 |a DE-29 |a DE-210 |a DE-M468 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC73 | |
| 082 | 0 | |a 160 |b Z19a | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Zahn, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein argumentativer Weg zur Logik |c Peter Zahn |
| 264 | 1 | |a Darmstadt |b Wiss. Buchges. |c 1982 | |
| 300 | |a 212 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Argumentatieleer |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic | |
| 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 Mathematische Logik |0 (DE-588)4037951-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 | |
| 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=000042361&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000042361 | ||
Record in the Search Index
| _version_ | 1804114543510552576 |
|---|---|
| adam_text | 1
INHALT
Erweiterte und kommentierte Inhaltsübersicht 2
§o. Vorwort und Problemstellung 4
§1. Über die informative Bedeutung von Aussagen ... 11
§2. Kalküle und Induktion. Normalfiguren 38
§3. Effektive Logik 56
§4. Negation und klassische Logik 72
§5. Gleichheit und Kennzeichnung 84
§6. Rekursive Definitionen 99
§7. Was ist eine Aussage? 1o7
§8. Übersicht über die Gesamtheit der Formeln .... 121
§9. Die Sprache L und der Kalkül
der Quantorenlogik 1 . Stufe 142
§1o. Interpretationen der Sprache L 155
§11. Beispiele für Axiomensysteme 1. Stufe 169
§12. Die Sprache L2 der Quantorenlogik 2. Stufe ... 179
§13. Wohlordnung und Ordnungszahlen 193
Literatur 2o9
Sachverzeichnis 210
Abkürzungen (im Text) 212
|
| any_adam_object | 1 |
| author | Zahn, Peter |
| author_facet | Zahn, Peter |
| author_role | aut |
| author_sort | Zahn, Peter |
| author_variant | p z pz |
| building | Verbundindex |
| bvnumber | BV000088139 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC73 |
| callnumber-raw | BC73 |
| callnumber-search | BC73 |
| callnumber-sort | BC 273 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 CC 2600 SK 130 |
| ctrlnum | (OCoLC)10101011 (DE-599)BVBBV000088139 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01704nam a2200481 c 4500</leader><controlfield tag="001">BV000088139</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920227 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1982 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3534087518</subfield><subfield code="9">3-534-08751-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10101011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000088139</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC73</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="b">Z19a</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">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zahn, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein argumentativer Weg zur Logik</subfield><subfield code="c">Peter Zahn</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Darmstadt</subfield><subfield code="b">Wiss. Buchges.</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">212 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="7"><subfield code="a">Argumentatieleer</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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="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=000042361&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000042361</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV000088139 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:08:23Z |
| institution | BVB |
| isbn | 3534087518 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000042361 |
| oclc_num | 10101011 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-210 DE-M468 DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-210 DE-M468 DE-706 DE-83 DE-188 |
| physical | 212 S. |
| psigel | TUB-nveb |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Wiss. Buchges. |
| record_format | marc |
| spelling | Zahn, Peter Verfasser aut Ein argumentativer Weg zur Logik Peter Zahn Darmstadt Wiss. Buchges. 1982 212 S. txt rdacontent n rdamedia nc rdacarrier Argumentatieleer gtt Logica gtt Logik Logic 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 Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000042361&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Zahn, Peter Ein argumentativer Weg zur Logik Argumentatieleer gtt Logica gtt Logik Logic Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Ein argumentativer Weg zur Logik |
| title_auth | Ein argumentativer Weg zur Logik |
| title_exact_search | Ein argumentativer Weg zur Logik |
| title_full | Ein argumentativer Weg zur Logik Peter Zahn |
| title_fullStr | Ein argumentativer Weg zur Logik Peter Zahn |
| title_full_unstemmed | Ein argumentativer Weg zur Logik Peter Zahn |
| title_short | Ein argumentativer Weg zur Logik |
| title_sort | ein argumentativer weg zur logik |
| topic | Argumentatieleer gtt Logica gtt Logik Logic Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Argumentatieleer Logica Logik Logic Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000042361&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT zahnpeter einargumentativerwegzurlogik |