Higher-Order Logic and Type Theory Bell John L.
Higher-Order Logic and Type Theory Bell John L. An exposition of second- and higher-order logic and type theory. Also explored are origins and nature of type theory, its relationship to set theory,…
od 21 €
Výrobca
Cambridge University Press
Specifikacia Higher-Order Logic and Type Theory Bell John L.
Higher-Order Logic and Type Theory Bell John L.
An exposition of second- and higher-order logic and type theory. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type 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.
Higher-Order Logic and Type Theory Bell John L. patrí medzi produkty, ktoré ponúkajú vyvážený pomer kvality a ceny. V hornej časti stránky nájdeš hlavný prehľad, nižšie podrobné vlastnosti a technické parametre.
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 €