Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik | DealShopping France

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

41.52 EUR

Partager: