Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Bücher
★★★★★
☆☆☆☆☆
Sterne Nur als Neuware
Auf Lager
24,95 €