Einfache Typentheorie: Eine praktische Logik zum Ausdrücken und Denken über Matte...
95,39 €
Church's type theory. simple type theory, a classical higher-order version of predicate logic that extends first-order logic. This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be.
Jetzt bei Ebay:
