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-521-14934-1 |
Publication Date: | May 2011 |
Publisher: | Cambridge University Press
|
Book Format: | Paperback |
List Price: | AUD $51.95 |
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.