Independence friendly logic : a game-theoretic approach / Allen L. Mann ; Gabriel Sandu ; Merlijn Sevenster