Higher-Order Logic and Type Theory

John L. Bell

Bog | Engelsk

Beskrivelse

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 hig…