Einfache Typentheorie: Eine praktische Logik zum Ausdrucken und Argumentieren über Mathema
120,78 €
The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. Simple Type Theory. Series Computer Science Foundations and Applied Logic.
Jetzt bei Ebay:
