21,99 €
inkl. MwSt.
Versandfertig in 1-2 Wochen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Classical First-Order Logic]( "Classical First-Order Logic")
Classical First-Order Logic20,99 €![Proofs and Models in Philosophical Logic]( "Proofs and Models in Philosophical Logic")
Proofs and Models in Philosophical Logic20,99 €![Probability and Inductive Logic]( "Probability and Inductive Logic")
Probability and Inductive Logic23,99 €![The Logic of Grounding]( "The Logic of Grounding")
The Logic of Grounding22,99 €![Relevance Logic]( "Relevance Logic")
Relevance Logic21,99 €![Set Theory]( "Set Theory")
Set Theory21,99 €![Logic and Information]( "Logic and Information")
Logic and Information22,99 €
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.