Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie Strukturtypen der Logik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Wolfgang Stegmüller