Independence-Friendly Logic A Game-Theoretic Approach |
|
| Author:
| Mann, Allen L.
Sandu, Gabriel
Sevenster, Merlijn |
| Series title: | London Mathematical Society Lecture Note Ser. |
| ISBN: | 978-0-511-98141-8 |
| Publication Date: | Jun 2011 |
| Publisher: | Cambridge University Press
|
| Book Format: | Digital download and online |
| List Price: | USD $165.00 |
Book Description:
|
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at the interface of logic and game theory. It is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic.
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at the interface of logic and game theory. It is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic.