Higher-Order Logic and Type Theory

by John L Bell and John L. Bell

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 theory, and its relationship to set theory. Section 3 introduces Local Set...

• Format: Paperback
• Language: English
• ISBN: 1108986900
• ISBN13: 9781108986908
• Release Date: March 2022
• Publisher: Cambridge University Press
• Length: 75 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"