Logik und Typentheorie höherer Ordnung (Elemente in Philosophie und Logik) von John L.
20,83 €
This leads to a discussion of higher-order logic based on the concept of a type. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic.
Jetzt bei Ebay:
