Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Häftad, Tyska, 1983
254 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.