- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Independence-Friendly Logic
A Game-Theoretic Approach
Allen L Mann, Gabriel Sandu, Merlijn Sevenster
92,45 €
+ 184 points
Description
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.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 216
- Langue:
- Anglais
- Collection :
- Tome:
- n° 386
Caractéristiques
- EAN:
- 9780521149341
- Date de parution :
- 06-06-11
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 150 mm x 224 mm
- Poids :
- 317 g
