Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema
76,13 €
… I read this book linearly, that is, from first to last page, as a reviewer should.". Provides the reader with a logic that is close to mathematical practice. Employs two semantics, one for mathematics and one for logic.
Jetzt bei Ebay:
