Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) by John L.
21,70 €
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:
