Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
\nAn 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...
číst celé
\n
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 schovat popis- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 2022
- Jazyk: Angličtina
- Vazba: Soft
- Počet stran: 75
- Šířka balení: 22.8 cm
- Výška balení: 15.2 cm
- Hloubka balení: 0.8 cm
Recenze