Mann, Allen L.

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 .

Includes bibliographical references and index

9780511981418 (ebook)


First-order logic.
Game theory,