Independence-Friendly Logic

A Game-Theoretic Approach

af Allen L. (University of Tampere Mann

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.