Independence-friendly logic a game-theoretic approach - Mann, Allen L.; Sandu, Gabriel 1954-; Sevenster, Merlijn (Cambridge Univ. Press, 2011)
Literaturverz. S. [198] - 202
Keywords: Stufe 1; Prädikatenlogik; Spieltheorie