Das Buch ist derzeit nicht auf Lager
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Autoren
Parameter
- ISBN
- 9783540122111
Kategorien
Buchvariante
1983, paperbackBuchkauf
Wir benachrichtigen dich per E-Mail.