Kniha momentálne nie je na sklade
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Autori
Parametre
- ISBN
- 9783540122111
Kategórie
Variant knihy
1983, mäkkáNákup knihy
Akonáhle sa objaví, pošleme vám e-mail.