Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Seiten
1983
|
1984
Springer Berlin (Verlag)
978-3-540-12211-1 (ISBN)
Springer Berlin (Verlag)
978-3-540-12211-1 (ISBN)
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.
| Erscheint lt. Verlag | 1.11.1983 |
|---|---|
| Reihe/Serie | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie | Strukturtypen der Logik |
| Zusatzinfo | 230 S. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 235 mm |
| Gewicht | 340 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Analytische Philosophie • Äquivalenz • Beweis • Kardinalzahl • Lemma • Logik • Mengenlehre • Sequenzenkalkül • Wissenschaftstheorie |
| ISBN-10 | 3-540-12211-7 / 3540122117 |
| ISBN-13 | 978-3-540-12211-1 / 9783540122111 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
