20,99 €
inkl. MwSt.
Versandfertig in 1-2 Wochen
10 °P sammeln
Andere Kunden interessierten sich auch für
![Higher-Order Logic and Type Theory]( "Higher-Order Logic and Type Theory")
Higher-Order Logic and Type Theory21,99 €![Classical First-Order Logic]( "Classical First-Order Logic")
Classical First-Order 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 €![Logic and Information]( "Logic and Information")
Logic and Information22,99 €![Gödel's Incompleteness Theorems]( "Gödel's Incompleteness Theorems")
Gödel's Incompleteness Theorems20,99 €
This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces different proof systems and different kinds of models for a range of logics, as well as compares and contrasts the different approaches to substructural treatments of the paradox.