Knihu momentálně nemáme skladem
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Autoři
Parametry
- ISBN
- 9783540122111
- Nakladatelství
- Springer / Springer Berlin Heidelberg / Springer, Berlin
Kategorie
Varianta knihy
1983, měkkáNákup knihy
Jakmile ji vyčmucháme, pošleme vám e-mail.