Higher-Order Logic and Type Theory. New ed, Paperback

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.

• Publisher: Cambridge University Press
• Author(s): John L. (University of Western Ontario) Bell
• Illustration(s): Worked examples or Exercises
• Number of pages: 75
• Collection: Elements in Philosophy and Logic
• Publication date: 2022
• Dimensions: 152 x 228 x 8
• Cover type: Paperback / softback