Independence-Friendly Logic A Game-Theoretic Approach - Mann, Allen L.; Sandu, Gabriel; Sevenster, Merlijn (Cambridge : Cambridge University Press, 2011)
Includes bibliographical references and index
Keywords: First-order logic; Game theory