Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema
77,07 €
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:
