Independence friendly logic : a game-theoretic approach / Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster. New York : Cambridge Univ. Press, 2011