Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Der Streichpreis bezieht sich auf die unverbindliche Preisempfehlung des Herstellers, den aktuellen durchschnittlichen Neupreis des Produktes bei idealo Deutschland, oder bei Büchern auf den festgelegten Preis für Neuware.