Knihu momentálně nemáme skladem
Parametry
Více o knize
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.
Nákup knihy
Higher-Order Logic and Type Theory, J. L. (John Lane) Bell
- Jazyk
- Rok vydání
- 2022
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Higher-Order Logic and Type Theory
- Jazyk
- anglicky
- Autoři
- J. L. (John Lane) Bell
- Vydavatel
- Cambridge University Press
- Rok vydání
- 2022
- Vazba
- měkká
- ISBN10
- 1108986900
- ISBN13
- 9781108986908
- Anotace
- 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.