Higher-Order Logic and Type Theory by John L. Bell (English) Paperback Book
24,67 €
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:
