Independence-friendly logic a game-theoretic approach - Mann, Allen L.; Sandu, Gabriel 1954-; Sevenster, Merlijn (London Mathematical Society lecture note series, 2011)