Einführung in die angewandte Logik:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
de Gruyter
1998
|
Ausgabe: | 2., erw. Aufl. |
Schriftenreihe: | Sammlung Göschen
2231 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 530 S. Ill. |
ISBN: | 3110152797 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV012016051 | ||
003 | DE-604 | ||
005 | 20211122 | ||
007 | t | ||
008 | 980616s1998 gw a||| |||| 00||| ger d | ||
016 | 7 | |a 953860124 |2 DE-101 | |
020 | |a 3110152797 |c kart. |9 3-11-015279-7 | ||
035 | |a (OCoLC)40897839 | ||
035 | |a (DE-599)BVBBV012016051 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-20 |a DE-1047 |a DE-355 |a DE-12 |a DE-M468 |a DE-1102 |a DE-521 |a DE-Aug4 |a DE-634 |a DE-19 |a DE-11 |a DE-188 | ||
050 | 0 | |a BC73 | |
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 10 |2 sdnb | ||
084 | |a 27 |2 sdnb | ||
100 | 1 | |a Bucher, Theodor G. |d 1935-2019 |e Verfasser |0 (DE-588)141881313 |4 aut | |
245 | 1 | 0 | |a Einführung in die angewandte Logik |c von Theodor G. Bucher |
250 | |a 2., erw. Aufl. | ||
264 | 1 | |a Berlin [u.a.] |b de Gruyter |c 1998 | |
300 | |a 530 S. |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Sammlung Göschen |v 2231 | |
650 | 7 | |a Logique |2 ram | |
650 | 4 | |a Logic | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 | |
830 | 0 | |a Sammlung Göschen |v 2231 |w (DE-604)BV008432620 |9 2231 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008132766&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
_version_ | 1805068094870126592 |
---|---|
adam_text |
INHALTSVERZEICHNIS
0.
LOGIK
UND
WAHRHEIT
.
9
0.1
LOGIK
ALS
LEHRE
DER
GUELTIGEN
FORMEN
.
9
0.2
WAHRHEIT
UND
GUELTIGKEIT
.
12
1.
EINIGE
GRUNDBEGRIFFE
DER
NAIVEN
MENGENLEHRE
.
17
1.1
DEFINITION
UND
VERGLEICH
VON
MENGEN
.
18
1.1.1
ABKURZUNGEN,
GLEICHHEITEN
UND
ARTEN
VON
MENGEN
.
21
1.1.2
TEILMENGEN
ODER
POTENZMENGEN
.
24
1.1.2.1
INKLUSION
UND
ELEMENTBEZIEHUNG
.
27
1.1.2.2
NULL
UND
LEERE
MENGE
.
30
1.2
OPERATIONEN
MIT
MENGEN
.
31
1.2.1
DAS
KOMPLEMENT
.
32
1.2.2
DIE
VEREINIGUNGSMENGE
.
34
1.2.3
DIE
DURCHSCHNITTSMENGE
.
35
1.2.4
DIE
DIFFERENZMENGE
.
36
1.2.5
DIE
CARTESISCHE
MENGE
.
37
1.3
DIE
AUSWERTUNG
.
39
1.3.1
DIE
UEBERPRUEFUNG
ZWEIER
MENGEN
.
39
1.3.2
DIE
UEBERPRUEFUNG
DREIER
MENGEN
.
42
2.
DIE
AUSSAGENLOGIK
.
46
2.1
DIE
FORMALISIERUNG
VON
AUSSAGEN
.
47
2.2
DIE
FORMALISIERUNG
VON
AUSSAGENVERKNUEPFUNGEN
.
49
2.2.1
DIE
UND-VERKNUEPFUNG
.
51
2.2.1.1
VERMEINTLICHE
KONJUNKTION
.
53
2.2.1.2
KONJUNKTIVE
AUSSAGENVERKNUEPFUNG
OHNE
YYUND
"
.
54
2.2.1.3
VERDRAENGUNG
DER
KONJUNKTION
DURCH
DIE
NEGATION
.
55
2.2.1.4
SYSTEMATIK
UND
UMGANGSSPRACHE
.
56
2.2.2
DIE UEBRIGEN
FUNKTOREN
.
56
2.3
KLAMMERREGELN
.
60
2.4
DIE
WAHRHEITSFUNKTIONEN
.
63
2.4.1
DIE
NEGATION
.
63
2.4.2
DIE
KONJUNKTION
.
65
2.4.3
DIE
DISJUNKTION
.
67
2.4.4
DIE
IMPLIKATION
.
69
2.4.5
DIE
AEQUIVALENZ
.
72
2.5
DIE
AUSWERTUNG
DER
WAHRHEITSFUNKTIONEN
.
77
2.5.1
TAUTOLOGIE,
KONTRADIKTION
UND
KONTINGENZ
.
85
2.5.2
DIE
TEILWEISEN
WAHRHEITSTAFELN
.
92
2.5.3
ZWISCHENERGEBNIS
.
96
6
INHALTSVERZEICHNIS
2.6
DIE
DEDUKTION
.
97
SCHLUSSREGELN
.
98
1.
MODUS
PONENS
.
98
2.
MODUS
TOLLENS
.
100
3.
SIMPLIFIKATION
.
104
4.
KONJUNKTION
.
106
5.
HYPOTHETISCHER
SYLLOGISMUS
.
107
6.
DISJUNKTIVER
SYLLOGISMUS
.
110
7.
ADDITION
.
111
8.
KONSTRUKTIVES
DILEMMA
.
113
9.
DESTRUKTIVES
DILEMMA
.
114
AEQUIVALENZREGELN
.
116
10.
DOPPELTE
NEGATION
.
116
11.
KOMMUTATION
.
116
12.
ASSOZIATION
.
116
13.
IDEMPOTENZ
.
116
14.
KONTRAPOSITION
.
116
15.
IMPLIKATION
.
117
16.
DISTRIBUTION
.
117
17.
AEQUIVALENZ
.
118
18.
EXPORTATION
.
118
19.
ABSORPTION
.
118
20.
DE
MORGAN
.
119
21.
UEBERFLUESSIGE
REGELN
.
121
2.7
KONJUNKTIVE
NORMALFORM
.
131
2.8
ANNAHMEN
.
134
2.8.1
DER
KONDITIONALE
BEWEIS
.
135
2.8.2
DER
INDIREKTE
BEWEIS
.
139
2.9
REDUKTION
VON
FUNKTOREN
.
142
2.10
POLNISCHE
NOTATION
.
147
2.11
THEORIE
UND
METATHEORIE
.
152
2.11.1
SPRACHE UND
METASPRACHE
.
153
2.11.2
SYNTAX
UND
SEMANTIK
.
156
2.11.2.1
SYNTAX
.
156
2.11.2.2
SEMANTIK
.
158
2.11.3
AUFBAU EINES
AXIOMENSYSTEMS
.
159
2.11.3.1
BEWEIS
UND
ABLEITUNG
.
160
2.11.4
DER
FOLGEBEGRIFF
.
163
2.11.5
KONSISTENZ
UND
VOLLSTAENDIGKEIT
.
166
3.
DIE
ARISTOTELISCHE
LOGIK
.
171
3.1
EINIGE
BEGRIFFE
DER
ARISTOTELISCHEN
LOGIK
.
172
3.2
DIE
KATEGORISCHEN
SAETZE
UND
DAS
LOGISCHE
QUADRAT
.
174
INHALTSVERZEICHNIS
7
3.3
DER
KLASSISCHE
SYLLOGISMUS
.
177
3.4
DIE
GUELTIGEN
FIGUREN
UND
DIE
MODI
DES
SYLLOGISMUS
.
179
3.5
BEWEIS
DER
SYLLOGISMEN
.
190
3.6
SORITES
.
196
3.7
ENTHYMEM
.
198
3.8
SYLLOGISTIK UND
MENGENLEHRE
.
199
4.
DER
ELEMENTARE
PRAEDIKATENKALKUEL
.
205
4.1
AUFBAU
VON
PRAEDIKATAUSSAGEN
.
205
4.2
INDIVIDUEN
UND
PRAEDIKATAUSDRUECKE
.
206
4.3
QUANTOREN
.
208
4.4
UEBERSETZUNGEN
AUS
DER
UMGANGSSPRACHE
.216
4.4.1
GATTUNGSNAMEN
.216
4.4.2
PERSONEN
.
217
4.4.3
ERWEITERUNG
DURCH
MEHRERE
PRAEDIKATE
.
217
4.5
QUANTORENREGELN
UND
DEDUKTION
.
221
4.6
DIE
VERWENDUNG
MEHRERER
QUANTOREN
.234
4.6.1
DER
BEREICH
DER
QUANTOREN
.234
4.6.2
QUANTOREN
UND IHRE
DISTRIBUTION
.240
4.6.3
PRAENEXE
NORMALFORM
.
241
5.
DIE
RELATIONEN
.244
5.1
ONTOLOGISCHE
VORAUSSETZUNGEN
.244
5.2
DIE HEUTIGE
AUFFASSUNG
DER
RELATIONEN
.246
5.3
DIE
SYMBOLISIERUNG
DER
RELATIONEN
.
249
5.3.1
SYMBOLISIERUNG
VON
KONSTANTEN
.
249
5.3.2
SYMBOLISIERUNG
MIT
EINEM
QUANTOR
.250
5.3.3
SYMBOLISIERUNG
MEHRERER
QUANTOREN
.252
5.3.4
DIE
VOLLSTAENDIGE
AUFZAEHLUNG
DER
ARGUMENTSTELLEN
.
256
5.3.5
DER
GENITIV
.259
5.3.6
DIE
ZEIT
.
261
5.4
DEDUKTION
.264
5.5
DIE
POLNISCHE
SCHREIBWEISE
DER
PRAEDIKATENLOGIK
.
267
5.5.1
SCHREIBWEISE
DER
QUANTOREN
.267
5.5.2
STREICHUNGSREGELN
.
267
5.6
DIE
IDENTITAET
.
273
5.6.1
IDENTITAET
UND
AEQUIVALENZ
.274
5.6.2
IDENTITAET
UND
PRAEDIKATION
.274
5.6.3
IDENTITAET
ALS
GRUNDLAGE
FUER
WEITERE
DEFINITIONEN
.
280
5.7
EINIGE
EIGENSCHAFTEN
DER
RELATIONEN
.
285
5.7.1
DIE
REFLEXIVITAET
.
286
5.7.2
DIE
SYMMETRIE
.
287
5.7.3
DIB
TRANSITIVITAET
.
288
8
INHALTSVERZEICHNIS
5.8
DER
FUNKTIONSBEGRIFF
.
294
5.9
VERKNUEPFUNG
VON
RELATIONEN
.296
5.9.1
RELATIONSPOTENZ
.
297
5.9.2
RELATIONSPRODUKT
.
299
5.10
DEDUKTION
EINFACHER
RELATIONEN
.
301
5.11
SEMANTISCHE TAFELN
(BAEUME)
.
303
5.11.1
AUSSAGENLOGIK
.
304
5.11.2
EIN-ODER
MEHRSTELLIGE
QUANTOREN
.
309
5.11.3
IDENTITAET
.314
6.
MODALLOGIK
.
318
6.1
VERSCHIEDENE
WELTEN
.
319
6.2
ALLGEMEINE
BEGRIFFE
.
322
6.2.1
ZUR
DEFINITION
DER
MODALOPERATOREN
.
324
6.2.2
GRUNDREGELN
.
329
6.2.3
ZUM
KONTINGENZBEGRIFF
.
332
6.2.4
WAHRHEITSMATRIZEN
.
337
6.2.5
SYSTEMATIK
DER
MODALSYSTEME
.
339
6.3
MODALE
AUSSAGENLOGIK
.340
6.3.1
ZWEI
EINFACHE
SYSTEME
.340
6.3.1.1
EIN
HILFSSYSTEM
.
341
6.3.1.2
DAS
SYSTEM
K
.
343
6.3.2
DAS
SYSTEM
T
.346
6.3.3
DAS
SYSTEM
S
4
.
351
6.3.4
DAS
SYSTEM
S
5
.
354
6.4
MODALE
PRAEDIKATENLOGIK
.
358
6.4.1
DIE
VIELZAHL
DER
MODELLE
.
361
6.4.2
DIE
BARCAN-FORMEL
.364
6.5
EPISTEMISCHE,
DEONTISCHE
UND
ZEITLICHE
MODALITAETEN
.
.
.
366
6.6
DAS
BESTE
SYSTEM
DER
MODALLOGIK?
.
368
ANHANG:
WAHRHEITSMATRIZEN
DER
MODALLOGIK
.
370
LOESUNGEN
.373
AUSGEWAEHLTE
BIBLIOGRAPHIE
.
515
VERZEICHNIS
DER
LOGISCHEN
ZEICHEN
.
520
SACHVERZEICHNIS
.
524 |
any_adam_object | 1 |
author | Bucher, Theodor G. 1935-2019 |
author_GND | (DE-588)141881313 |
author_facet | Bucher, Theodor G. 1935-2019 |
author_role | aut |
author_sort | Bucher, Theodor G. 1935-2019 |
author_variant | t g b tg tgb |
building | Verbundindex |
bvnumber | BV012016051 |
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 2500 SK 130 |
ctrlnum | (OCoLC)40897839 (DE-599)BVBBV012016051 |
discipline | Mathematik Philosophie |
edition | 2., erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV012016051</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211122</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980616s1998 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953860124</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110152797</subfield><subfield code="c">kart.</subfield><subfield code="9">3-11-015279-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40897839</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012016051</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC73</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 2500</subfield><subfield code="0">(DE-625)17609:</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">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bucher, Theodor G.</subfield><subfield code="d">1935-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141881313</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die angewandte Logik</subfield><subfield code="c">von Theodor G. Bucher</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">de Gruyter</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">530 S.</subfield><subfield code="b">Ill.</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="490" ind1="1" ind2=" "><subfield code="a">Sammlung Göschen</subfield><subfield code="v">2231</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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">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="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="830" ind1=" " ind2="0"><subfield code="a">Sammlung Göschen</subfield><subfield code="v">2231</subfield><subfield code="w">(DE-604)BV008432620</subfield><subfield code="9">2231</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=008132766&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV012016051 |
illustrated | Illustrated |
indexdate | 2024-07-20T03:44:39Z |
institution | BVB |
isbn | 3110152797 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008132766 |
oclc_num | 40897839 |
open_access_boolean | |
owner | DE-20 DE-1047 DE-355 DE-BY-UBR DE-12 DE-M468 DE-1102 DE-521 DE-Aug4 DE-634 DE-19 DE-BY-UBM DE-11 DE-188 |
owner_facet | DE-20 DE-1047 DE-355 DE-BY-UBR DE-12 DE-M468 DE-1102 DE-521 DE-Aug4 DE-634 DE-19 DE-BY-UBM DE-11 DE-188 |
physical | 530 S. Ill. |
publishDate | 1998 |
publishDateSearch | 1998 |
publishDateSort | 1998 |
publisher | de Gruyter |
record_format | marc |
series | Sammlung Göschen |
series2 | Sammlung Göschen |
spelling | Bucher, Theodor G. 1935-2019 Verfasser (DE-588)141881313 aut Einführung in die angewandte Logik von Theodor G. Bucher 2., erw. Aufl. Berlin [u.a.] de Gruyter 1998 530 S. Ill. txt rdacontent n rdamedia nc rdacarrier Sammlung Göschen 2231 Logique ram Logic Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 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 Sammlung Göschen 2231 (DE-604)BV008432620 2231 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008132766&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Bucher, Theodor G. 1935-2019 Einführung in die angewandte Logik Sammlung Göschen Logique ram Logic Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4151278-9 |
title | Einführung in die angewandte Logik |
title_auth | Einführung in die angewandte Logik |
title_exact_search | Einführung in die angewandte Logik |
title_full | Einführung in die angewandte Logik von Theodor G. Bucher |
title_fullStr | Einführung in die angewandte Logik von Theodor G. Bucher |
title_full_unstemmed | Einführung in die angewandte Logik von Theodor G. Bucher |
title_short | Einführung in die angewandte Logik |
title_sort | einfuhrung in die angewandte logik |
topic | Logique ram Logic Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Logique Logic Mathematische Logik Logik Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008132766&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV008432620 |
work_keys_str_mv | AT buchertheodorg einfuhrungindieangewandtelogik |