Independence-friendly logic: a game-theoretic approach by Sandu, Gabriel, Sevenster, Merlijn, Mann, Allen Lawrence fromLondon Mathematical Society lecture notes series 0 Type: Book
