Automatisierte Logik: Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Springer Spektrum
Pages: 282, Paperback, Springer Spektrum
Compare prices (1 shop)
| shop | Price | Action |
|---|---|---|
|
27,99 GBP | Go to shop |
Similar products
-
Brettchenweben: Eine ausführliche Einführung
From 26,12 EUR -
Psychologie und Logik: zur Einführung in die Philosophie
From 42,90 EUR -
Aristoteles zur Einführung
From 14,46 EUR -
Begriffsgeschichte zur Einführung
From 12,93 EUR -
-
Anarchismus zur Einführung
From 14,45 EUR