Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Nat?rliches Schlie?en. Kalk?l der Positiv- und Negativteile. Spielart [Paperback]

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.