Higher-order logic and type theory
Auteur :
Bell, John L.
Éditeur :
Cambridge University Press
ISBN :
9781108986908
Date de publication :
31 mars 2022
Dimensions :
22,8 x 15,2 x 0,5 cm
Poids :
140 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.