21,99 €
inkl. MwSt.
Versandfertig in 1-2 Wochen
11 °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 Logic21,99 €![Relevance Logic]( "Relevance Logic")
Relevance Logic23,99 €![Gödel's Incompleteness Theorems]( "Gödel's Incompleteness Theorems")
Gödel's Incompleteness Theorems21,99 €![Set Theory]( "Set Theory")
Set Theory21,99 €![The Many Faces of Impossibility]( "The Many Faces of Impossibility")
The Many Faces of Impossibility23,99 €![Temporal Logics]( "Temporal Logics")
Temporal Logics23,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.