Higher-Order Logic and Type Theory
John L. (University of Western Ontario) Bell
Cambridge University Press, 2022
31,95 €On orderDelivery: 2-3 weeks
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
- ISBN-13
- 9781108986908
- ISBN-10
- 1108986900
- Publisher
- Cambridge University Press
- Year
- 2022
- Publication date
- 2022-03-31
- Pages
- 88
- Dimensions
- 152x228x8
- Weight
- 148