Lehrbuch der elementaren Logik: 1 Aussagenlogik
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
Dt. Taschenbuch-Verl.
1976
|
| Ausgabe: | Orig.-Ausg |
| Schriftenreihe: | Dtv
... |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 256 S. graph. Darst |
| ISBN: | 3423041188 |
Internformat
MARC
| LEADER | 00000nam a2200000zcc4500 | ||
|---|---|---|---|
| 001 | BV022049935 | ||
| 003 | DE-604 | ||
| 005 | 20090618 | ||
| 007 | t | ||
| 008 | 960614s1976 d||| |||| 00||| ger d | ||
| 020 | |a 3423041188 |9 3-423-04118-8 | ||
| 035 | |a (OCoLC)310659815 | ||
| 035 | |a (DE-599)BVBBV022049935 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-12 |a DE-188 |a DE-M468 | ||
| 100 | 1 | |a Kleinknecht, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lehrbuch der elementaren Logik |n 1 |p Aussagenlogik |c Reinhard Kleinknecht ; Eckehard Wüst |
| 250 | |a Orig.-Ausg | ||
| 264 | 1 | |a München |b Dt. Taschenbuch-Verl. |c 1976 | |
| 300 | |a 256 S. |b graph. Darst | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dtv |v ... | |
| 490 | 0 | |a Dtv |v ... | |
| 700 | 1 | |a Wüst, Eckehard |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV021851272 |g 1 |
| 830 | 0 | |a Dtv |v ... |w (DE-604)BV000000317 |9 4118 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q IFKMB0906 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015264656 | ||
Datensatz im Suchindex
| _version_ | 1804136025324257280 |
|---|---|
| adam_text | NHALTSVERZEICHNIS !D. 1 IINLEITUNG 11 I. PRAELIMINARIEN 21 1.1. KLASSEN
21 1.1.1. KLASSENBEZEICHNUNGEN 22 1.1.2. TEILKLASSE, DURCHSCHNITT,
VEREINIGUNG UND DIFFERENZ . . 23 ).1.3. GEORDNETE PAARE 25 .1.4.
RELATIONEN 28 1.1.5. FUNKTIONEN 30 ).1.6. ENDLICHE UND UNENDLICHE
KLASSEN 32 ).2. VOLLSTAENDIGE INDUKTION 35 ).2.1. UNENDLICHE INDUKTION 35
).2.2. ENDLICHE INDUKTION 38 ).3. SEMIOTISCHE VORBEMERKUNGEN 40 ).3.1.
GEBRAUCH UND ERWAEHNUNG 40 ).3.2. OBJEKT- UND METASPRACHE 42 ).3.3.
SYNTAX UND SEMANTIK 43 3.3.4. ZEICHENTYP UND ZEICHENVORKOMMNIS 44 14.
FORMALE SPRACHEN 45 3.4.1. SYNTAX FORMALER SPRACHEN 45 3.4.2. SEMANTIK
FORMALER SPRACHEN 47 3.5. FORMALE SYSTEME 48 3.5.1. SYNTAX FORMALER
SYSTEME 48 3.5.2. SEMANTIK FORMALER SYSTEME 53 3.5.3. HISTORISCHE
BEMERKUNGEN 55 3.6. ENTSCHEIDBARKEIT, ERZEUGBARKEIT UND AUFZAEHLBARKEIT .
. 56 3.6.1. DER BEGRIFF DES ALGORITHMUS 57 3.6.2. HISTORISCHE
BEMERKUNGEN ZUM ALGORITHMENBEGRIFF. . . 59 3.6.3. ENTSCHEIDBARKEIT UND
UNENTSCHEIDBARKEIT 60 3.6.4. ERZEUGBARKEIT UND AUFZAEHLBARKEIT 61 3.6.5.
ENTSCHEIDBARE UND UNENTSCHEIDBARE FORMALE SYSTEME. . 66 (3.6.6. EIN
EINFACHER UNENTSCHEIDBARKEITSBEWEIS 70 5 1. AUSSAGENLOGIK 72 1.1. DIE
AUSSAGENLOGISCHE SPRACHE S/ 80 1.1.1. DIE SYNTAX VON SL 81 1.1.2. DIE
SEMANTIK VON S1 87 1.1.3. AUSSAGENLOGISCHE NORMALFORMEN 118 1.2.
ANWENDUNGEN DER AUSSAGENLOGIK IN DER THEORIE DER ELEKTRISCHEN
SCHALTUNGEN 135 1.2.1. SCHALTUNGEN UND SCHALTFORMELN 137 4.2.2. ANALYSE
VON SCHALTUNGEN 146 1.2.3. SYNTHESE VON SCHALTUNGEN 149 1.2.4.
VEREINFACHUNG VON SCHALTUNGEN 156 1.3. DAS AUSSAGENLOGISCHE AXIOMATISCHE
SYSTEM 777 . . . . 161 1.3.1. DEFINITION VON 777 1.3.2. DER
BEWEISBEGRIFF FUER 777 . . . 1.3.3. DER ABLEITUNGSBEGRIFF FUER 777 . .
1.3.4. DAS SUBSTITUTIONSTHEOREM FUER 77 / 1.3.5. DAS DEDUKTIONSTHEOREM
FUER 777 1.3.6. LEHRSAETZE UEBER 77/ 1 1.3.7. DAS ERSETZUNGSTHEOREM FUER 77/
1.3.8. LEHRSAETZE UEBER 77 / (FORTSETZUNG) 1.3.9. DIE ADAEQUATHEIT VON 77 /
. 1.3.10. DIE ENTSCHEIDBARKEIT DES THEOREMBEGRIFFS VON 77/. 1.3.11. DIE
UNABHAENGIGKEIT DER AXIOMENKLASSEN A/-A/5 . . . 206 1.4. DAS
AUSSAGENLOGISCHE REGELSYSTEM EL 210 1.4.1. DEFINITION VON EL 212 1.4.2.
DER ABLEITUNGSBEGRIFF FUER II . . . . 217 1.4.3. DER BEWEISBEGRIFF FUER
EL 223 1.4.4. METATHEOREMEFUER27 225 1.4.5. DIE ENTSCHEIDBARKEIT DES
ABLEITUNGS- UND BEWEIS- BEGRIFFS FUER EL 229 1.4.6. DER BEGRIFF DER
QUASIABLEITUNG FUER EL 230 1.4.7. WEITERE LEHRSAETZE UEBER E1 237 1.4.8.
DIE ADAEQUATHEIT VON EL 245 VERZEICHNIS DER VERWENDETEN SYMBOLE UND
ABKUERZUNGEN . . . 250 VERZEICHNIS DER SAETZE UND DEFINITIONEN 251
REGISTER 253 6 BD. 2 2. PRAEDIKATENLOGIK 263 2.1. DIE PRAEDIKATENLOGISCHE
SPRACHE S 2 269 2.1.1. DER AUFBAU VON S 2 271 2.1.2. DER
SUBSTITUTIONSBEGRIFF FUER S 2 276 2.2. DIE SEMANTIK VON S2 292 2.2.1. DER
MODELLBEGRIFF FUERS 2 292 2.2.2. DAS KOINZIDENZTHEOREM 305 2.2.3. DAS
UEBERFUEHRUNGSTHEOREM 307 2.2.4. INTERPRETATIONEN UEBER ENDLICHEN BEREICHEN
318 2.2.5. S2-GUELTIGKEIT UND S2-KONSEQUENZ 320 2.2.6. DER ZUSAMMENHANG
ZWISCHEN S /-GUELTIGKEIT UND S2- GUELTIGKEIT 326 2.2.7. DAS AEQUIVALENZ-
UND DAS ERSETZUNGSTHEOREM FUER S2 . . 328 2.2.8. UMBENENNUNG 330 2.2.9.
EINE BEWERTUNGSSEMANTIK FUER S2 333 2.2.10. DIE SAETZE VON LOEWENHEIM UND
LOEWENHEIM/SKOLEM . . 342 2.2.11. DAS INFLATIONSTHEOREM 347 2.2.12. DIE
ENTSCHEIDBARKEIT DER MONADISCHEN PRAEDIKATENLOGIK 353 2.3. DAS
PRAEDIKATENLOGISCHE AXIOMATISCHE SYSTEM TI2 . . . 356 2.3.1. DEFINITION
VON 172 358 2.3.2. METATHEOREMEFUER 172. 360 2.3.3. FREIMACHEN VON
GEGENSTANDSZEICHEN 364 2.3.4. LEHRSAETZE UEBER 172 370 2.3.5. KONSISTENTE
UND MAXIMALKONSISTENTE FORMELKLASSEN . . 375 2.3.6. ABBILDUNGSFORMELN
UND ABBILDUNGSINTERPRETATIONEN . . 378 2.3.7. DER ERFUELLBARKEITSSATZ FUER
772 389 2.3.8. DIE ADAEQUATHEIT VON 772 394 2.3.9. EINIGE FOLGERUNGEN AUS
DER ADAEQUATHEIT VON 172 . . . 402 2.4. PRAENEXE NORMALFORMEN 404 2.4.1.
PRAEFIXE 404 2.4.2. PRAENEXE NORMALFORMEN 406 2.5. DAS PRAEDIKATENLOGISCHE
REGELSYSTEM 12 412 2.5.1. DEFINITION VON 12 412 2.5.2. ABLEITUNGEN UND
BEWEISE IN 12 417 2.5.3. METATHEOREMEFUERX2 427 2.5.4. QUASIABLEITUNGEN
UND QUASIBEWEISE IN 12 429 2.5.5. LEHRSAETZE UEBER Z2 433 7 2.5.6. DIE
ADAEQUATHEIT VON 12 439 2.6. IDENTITAET 444 2.6.1. IDENTITAETSLOGISCHE
SEMANTIK 445 2.6.2. ANZAHLFORMELN 449 2.7. DAS IDENTITAETSLOGISCHE
AXIOMATISCHE SYSTEM 773 . . . . 461 2.7.1. DEFINITION VON 773 462 2.7.2.
LEHRSAETZE UEBER 773 463 2.7.3. DIE ADAEQUATHEIT VON 773 471 2.8. DAS
IDENTITAETSLOGISCHE REGELSYSTEM 13 474 2.8.1. DEFINITION VON 13 474
2.8.2. ABLEITUNGEN UND BEWEISE IN 13 475 ANHANG: 52-KOMPETENZ UND S2-
BEWERTUNGSKONSEQUENZ . . . 476 VERZEICHNIS DER VERWENDETEN SYMBOLE UND
ABKUERZUNGEN . . . 478 VERZEICHNIS DER SAETZE UND DEFINITIONEN 480
LITERATURVERZEICHNIS 484 REGISTER 486
|
| adam_txt |
NHALTSVERZEICHNIS !D. 1 IINLEITUNG 11 I. PRAELIMINARIEN 21 1.1. KLASSEN
21 1.1.1. KLASSENBEZEICHNUNGEN 22 1.1.2. TEILKLASSE, DURCHSCHNITT,
VEREINIGUNG UND DIFFERENZ . . 23 ).1.3. GEORDNETE PAARE 25 .1.4.
RELATIONEN 28 1.1.5. FUNKTIONEN 30 ).1.6. ENDLICHE UND UNENDLICHE
KLASSEN 32 ).2. VOLLSTAENDIGE INDUKTION 35 ).2.1. UNENDLICHE INDUKTION 35
).2.2. ENDLICHE INDUKTION 38 ).3. SEMIOTISCHE VORBEMERKUNGEN 40 ).3.1.
GEBRAUCH UND ERWAEHNUNG 40 ).3.2. OBJEKT- UND METASPRACHE 42 ).3.3.
SYNTAX UND SEMANTIK 43 3.3.4. ZEICHENTYP UND ZEICHENVORKOMMNIS 44 14.
FORMALE SPRACHEN 45 3.4.1. SYNTAX FORMALER SPRACHEN 45 3.4.2. SEMANTIK
FORMALER SPRACHEN 47 3.5. FORMALE SYSTEME 48 3.5.1. SYNTAX FORMALER
SYSTEME 48 3.5.2. SEMANTIK FORMALER SYSTEME 53 3.5.3. HISTORISCHE
BEMERKUNGEN 55 3.6. ENTSCHEIDBARKEIT, ERZEUGBARKEIT UND AUFZAEHLBARKEIT .
. 56 3.6.1. DER BEGRIFF DES ALGORITHMUS 57 3.6.2. HISTORISCHE
BEMERKUNGEN ZUM ALGORITHMENBEGRIFF. . . 59 3.6.3. ENTSCHEIDBARKEIT UND
UNENTSCHEIDBARKEIT 60 3.6.4. ERZEUGBARKEIT UND AUFZAEHLBARKEIT 61 3.6.5.
ENTSCHEIDBARE UND UNENTSCHEIDBARE FORMALE SYSTEME. . 66 (3.6.6. EIN
EINFACHER UNENTSCHEIDBARKEITSBEWEIS 70 5 1. AUSSAGENLOGIK 72 1.1. DIE
AUSSAGENLOGISCHE SPRACHE S/ 80 1.1.1. DIE SYNTAX VON SL 81 1.1.2. DIE
SEMANTIK VON S1 87 1.1.3. AUSSAGENLOGISCHE NORMALFORMEN 118 1.2.
ANWENDUNGEN DER AUSSAGENLOGIK IN DER THEORIE DER ELEKTRISCHEN
SCHALTUNGEN 135 1.2.1. SCHALTUNGEN UND SCHALTFORMELN 137 4.2.2. ANALYSE
VON SCHALTUNGEN 146 1.2.3. SYNTHESE VON SCHALTUNGEN 149 1.2.4.
VEREINFACHUNG VON SCHALTUNGEN 156 1.3. DAS AUSSAGENLOGISCHE AXIOMATISCHE
SYSTEM 777 . . . . 161 1.3.1. DEFINITION VON 777 1.3.2. DER
BEWEISBEGRIFF FUER 777 . . . 1.3.3. DER ABLEITUNGSBEGRIFF FUER 777 . .
1.3.4. DAS SUBSTITUTIONSTHEOREM FUER 77 / 1.3.5. DAS DEDUKTIONSTHEOREM
FUER 777 1.3.6. LEHRSAETZE UEBER 77/ 1 1.3.7. DAS ERSETZUNGSTHEOREM FUER 77/
1.3.8. LEHRSAETZE UEBER 77 / (FORTSETZUNG) 1.3.9. DIE ADAEQUATHEIT VON 77 /
. 1.3.10. DIE ENTSCHEIDBARKEIT DES THEOREMBEGRIFFS VON 77/. 1.3.11. DIE
UNABHAENGIGKEIT DER AXIOMENKLASSEN A/-A/5 . . . 206 1.4. DAS
AUSSAGENLOGISCHE REGELSYSTEM EL 210 1.4.1. DEFINITION VON EL 212 1.4.2.
DER ABLEITUNGSBEGRIFF FUER II . . . . ' 217 1.4.3. DER BEWEISBEGRIFF FUER
EL 223 1.4.4. METATHEOREMEFUER27 225 1.4.5. DIE ENTSCHEIDBARKEIT DES
ABLEITUNGS- UND BEWEIS- BEGRIFFS FUER EL 229 1.4.6. DER BEGRIFF DER
QUASIABLEITUNG FUER EL 230 1.4.7. WEITERE LEHRSAETZE UEBER E1 237 1.4.8.
DIE ADAEQUATHEIT VON EL 245 VERZEICHNIS DER VERWENDETEN SYMBOLE UND
ABKUERZUNGEN . . . 250 VERZEICHNIS DER SAETZE UND DEFINITIONEN 251
REGISTER 253 6 BD. 2 2. PRAEDIKATENLOGIK 263 2.1. DIE PRAEDIKATENLOGISCHE
SPRACHE S 2 269 2.1.1. DER AUFBAU VON S 2 271 2.1.2. DER
SUBSTITUTIONSBEGRIFF FUER S 2 276 2.2. DIE SEMANTIK VON S2 292 2.2.1. DER
MODELLBEGRIFF FUERS 2 292 2.2.2. DAS KOINZIDENZTHEOREM 305 2.2.3. DAS
UEBERFUEHRUNGSTHEOREM 307 2.2.4. INTERPRETATIONEN UEBER ENDLICHEN BEREICHEN
318 2.2.5. S2-GUELTIGKEIT UND S2-KONSEQUENZ 320 2.2.6. DER ZUSAMMENHANG
ZWISCHEN S /-GUELTIGKEIT UND S2- GUELTIGKEIT 326 2.2.7. DAS AEQUIVALENZ-
UND DAS ERSETZUNGSTHEOREM FUER S2 . . 328 2.2.8. UMBENENNUNG 330 2.2.9.
EINE BEWERTUNGSSEMANTIK FUER S2 333 2.2.10. DIE SAETZE VON LOEWENHEIM UND
LOEWENHEIM/SKOLEM . . 342 2.2.11. DAS INFLATIONSTHEOREM 347 2.2.12. DIE
ENTSCHEIDBARKEIT DER MONADISCHEN PRAEDIKATENLOGIK 353 2.3. DAS
PRAEDIKATENLOGISCHE AXIOMATISCHE SYSTEM TI2 . . . 356 2.3.1. DEFINITION
VON 172 358 2.3.2. METATHEOREMEFUER 172. 360 2.3.3. FREIMACHEN VON
GEGENSTANDSZEICHEN 364 2.3.4. LEHRSAETZE UEBER 172 370 2.3.5. KONSISTENTE
UND MAXIMALKONSISTENTE FORMELKLASSEN . . 375 2.3.6. ABBILDUNGSFORMELN
UND ABBILDUNGSINTERPRETATIONEN . . 378 2.3.7. DER ERFUELLBARKEITSSATZ FUER
772 389 2.3.8. DIE ADAEQUATHEIT VON 772 394 2.3.9. EINIGE FOLGERUNGEN AUS
DER ADAEQUATHEIT VON 172 . . . 402 2.4. PRAENEXE NORMALFORMEN 404 2.4.1.
PRAEFIXE 404 2.4.2. PRAENEXE NORMALFORMEN 406 2.5. DAS PRAEDIKATENLOGISCHE
REGELSYSTEM 12 412 2.5.1. DEFINITION VON 12 412 2.5.2. ABLEITUNGEN UND
BEWEISE IN 12 417 2.5.3. METATHEOREMEFUERX2 427 2.5.4. QUASIABLEITUNGEN
UND QUASIBEWEISE IN 12 429 2.5.5. LEHRSAETZE UEBER Z2 433 7 2.5.6. DIE
ADAEQUATHEIT VON 12 439 2.6. IDENTITAET 444 2.6.1. IDENTITAETSLOGISCHE
SEMANTIK 445 2.6.2. ANZAHLFORMELN 449 2.7. DAS IDENTITAETSLOGISCHE
AXIOMATISCHE SYSTEM 773 . . . . 461 2.7.1. DEFINITION VON 773 462 2.7.2.
LEHRSAETZE UEBER 773 463 2.7.3. DIE ADAEQUATHEIT VON 773 471 2.8. DAS
IDENTITAETSLOGISCHE REGELSYSTEM 13 474 2.8.1. DEFINITION VON 13 474
2.8.2. ABLEITUNGEN UND BEWEISE IN 13 475 ANHANG: 52-KOMPETENZ UND S2-
BEWERTUNGSKONSEQUENZ . . . 476 VERZEICHNIS DER VERWENDETEN SYMBOLE UND
ABKUERZUNGEN . . . 478 VERZEICHNIS DER SAETZE UND DEFINITIONEN 480
LITERATURVERZEICHNIS 484 REGISTER 486 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kleinknecht, Reinhard Wüst, Eckehard |
| author_facet | Kleinknecht, Reinhard Wüst, Eckehard |
| author_role | aut aut |
| author_sort | Kleinknecht, Reinhard |
| author_variant | r k rk e w ew |
| building | Verbundindex |
| bvnumber | BV022049935 |
| ctrlnum | (OCoLC)310659815 (DE-599)BVBBV022049935 |
| edition | Orig.-Ausg |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01254nam a2200349zcc4500</leader><controlfield tag="001">BV022049935</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090618 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960614s1976 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3423041188</subfield><subfield code="9">3-423-04118-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310659815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022049935</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kleinknecht, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lehrbuch der elementaren Logik</subfield><subfield code="n">1</subfield><subfield code="p">Aussagenlogik</subfield><subfield code="c">Reinhard Kleinknecht ; Eckehard Wüst</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Orig.-Ausg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Dt. Taschenbuch-Verl.</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">256 S.</subfield><subfield code="b">graph. Darst</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">Dtv</subfield><subfield code="v">...</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Dtv</subfield><subfield code="v">...</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wüst, Eckehard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV021851272</subfield><subfield code="g">1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dtv</subfield><subfield code="v">...</subfield><subfield code="w">(DE-604)BV000000317</subfield><subfield code="9">4118</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=015264656&sequence=000001&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">IFKMB0906</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015264656</subfield></datafield></record></collection> |
| id | DE-604.BV022049935 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:13:16Z |
| indexdate | 2024-07-09T20:49:50Z |
| institution | BVB |
| isbn | 3423041188 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015264656 |
| oclc_num | 310659815 |
| open_access_boolean | |
| owner | DE-706 DE-12 DE-188 DE-M468 |
| owner_facet | DE-706 DE-12 DE-188 DE-M468 |
| physical | 256 S. graph. Darst |
| psigel | IFKMB0906 |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| publisher | Dt. Taschenbuch-Verl. |
| record_format | marc |
| series | Dtv |
| series2 | Dtv |
| spelling | Kleinknecht, Reinhard Verfasser aut Lehrbuch der elementaren Logik 1 Aussagenlogik Reinhard Kleinknecht ; Eckehard Wüst Orig.-Ausg München Dt. Taschenbuch-Verl. 1976 256 S. graph. Darst txt rdacontent n rdamedia nc rdacarrier Dtv ... Wüst, Eckehard Verfasser aut (DE-604)BV021851272 1 Dtv ... (DE-604)BV000000317 4118 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kleinknecht, Reinhard Wüst, Eckehard Lehrbuch der elementaren Logik Dtv |
| title | Lehrbuch der elementaren Logik |
| title_auth | Lehrbuch der elementaren Logik |
| title_exact_search | Lehrbuch der elementaren Logik |
| title_exact_search_txtP | Lehrbuch der elementaren Logik |
| title_full | Lehrbuch der elementaren Logik 1 Aussagenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_fullStr | Lehrbuch der elementaren Logik 1 Aussagenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_full_unstemmed | Lehrbuch der elementaren Logik 1 Aussagenlogik Reinhard Kleinknecht ; Eckehard Wüst |
| title_short | Lehrbuch der elementaren Logik |
| title_sort | lehrbuch der elementaren logik aussagenlogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015264656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021851272 (DE-604)BV000000317 |
| work_keys_str_mv | AT kleinknechtreinhard lehrbuchderelementarenlogik1 AT wusteckehard lehrbuchderelementarenlogik1 |