Independence-Friendly Logic A Game-Theoretic Approach / [electronic resource] :
Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.
- Cambridge : Cambridge University Press, 2011
- 1 online resource (216 p.)
- London Mathematical Society Lecture Note Series no. 386 .