Andere Kunden interessierten sich auch für
![Stable Domination and Independence in Algebraically Closed Valued Fields]( "Stable Domination and Independence in Algebraically Closed Valued Fields")
Stable Domination and Independence in Algebraically Closed Valued Fields46,99 €![Set Theory An Introduction To Independence Proofs]( "Set Theory An Introduction To Independence Proofs")
Set Theory An Introduction To Independence Proofs42,99 €![Justification Logic]( "Justification Logic")
Justification Logic130,99 €![Graph Structure and Monadic Second-Order Logic]( "Graph Structure and Monadic Second-Order Logic")
Graph Structure and Monadic Second-Order Logic197,99 €![Logic for Mathematicians]( "Logic for Mathematicians")
Logic for Mathematicians92,99 €![The Logic of Infinity]( "The Logic of Infinity")
The Logic of Infinity62,99 €![Lectures in Logic and Set Theory]( "Lectures in Logic and Set Theory")
Lectures in Logic and Set Theory59,99 €
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.