Kniha momentálne nie je na sklade
Viac o knihe
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, John S. Bell
- Jazyk
- Rok vydania
- 2022
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Nikto zatiaľ neohodnotil.