Independence-friendly logic : a game-theoretic approach - Mann, Allen L. (London Mathematical Society lecture note series ;, 2011)