剧情简介：This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theo...(展开全部)
作者：John L. Bell
出版社：Cambridge University Press
ISBN：9781108986908
