Produktbild: Strukturtypen der Logik
Band 3

Strukturtypen der Logik

179,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.11.1983

Abbildungen

XV, 526 S.

Verlag

Springer Berlin

Seitenzahl

526

Maße (L/B/H)

24,1/16/3,4 cm

Gewicht

980 g

Auflage

1984

Sprache

Deutsch

ISBN

978-3-540-12210-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.11.1983

Abbildungen

XV, 526 S.

Verlag

Springer Berlin

Seitenzahl

526

Maße (L/B/H)

24,1/16/3,4 cm

Gewicht

980 g

Auflage

1984

Sprache

Deutsch

ISBN

978-3-540-12210-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in

  • Produktbild: Strukturtypen der Logik
  • Einleitung: Inhaltsübersicht.- 1. Vorbereitungen.- 1.1 Logische und semiotische Präliminarien.- 1.2 Zur Bezeichnungsweise und Symbolik.- 1.3 Grundbegriffe der Mengenlehre.- I. Logik.- 2. Junktoren.- 3. Quantoren.- 4. Kalküle.- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik.- 6. Normalformen.- 7. Identität.- 8. Theorien.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeits-beweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.- 13. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit.- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten.- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström.- Bibliographie.- Autorenregister.- Verzeichnis der Symbole und Abkürzungen.