John L. Bell (University of Western Ontario)

Higher-Order Logic and Type Theory

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Elements in Philosophy and Logic
• Verlag: Cambridge University Press
• Seitenzahl: 88
• Erscheinungstermin: 9. März 2022
• Englisch
• Abmessung: 229mm x 152mm x 6mm
• Gewicht: 148g
• ISBN-13: 9781108986908
• ISBN-10: 1108986900
• Artikelnr.: 63396723

Inhaltsangabe

1. Second- Order Logic and Higher-Order Logic
2. Type Theory and its Origins
3. Local set theory
4. Newer Forms of Type Theory Based on the Doctrine of 'Propositions as Types'
Appendix
The Semantics of Local Set Theory/Intuitionistic Higher-Order Logic.