Independence-friendly logic: a game-theoretic approach
Auteur :
Mann, Allen L. / Sandu, Gabriel / Sevenster, Merlijn
Éditeur :
Cambridge University Press
ISBN :
9780521149341
Date de publication :
5 mai 2011
Dimensions :
22,7 x 15,2 x 1,1 cm
Poids :
320 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.