Independence-friendly logic a game-theoretic approach - Mann, Allen L.; Sandu, Gabriel (Cambridge Cambridge University Press, 2011)
Keywords: First-order logic; Game theory