Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Higher-Order Logic and Type Theory, John Lane Bell
- Sprache
- Erscheinungsdatum
- 2022
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Higher-Order Logic and Type Theory
- Sprache
- Englisch
- Autor*innen
- John Lane Bell
- Erscheinungsdatum
- 2022
- Einband
- Paperback
- ISBN10
- 1108986900
- ISBN13
- 9781108986908
- Beschreibung
- 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.