Higher-Order Logic and Type Theory Bell John L.
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…
od 21 €
Výrobca
Cambridge University Press
Specifikacia Higher-Order Logic and Type Theory Bell John L.
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
Twin and Higher-order Pregnancies
od 202 €
Type Theory and Formal Proof
od 92 €
Theory of Type Design
od 48 €
Higher Chemistry Anderson John
od 48 €