TY  - BOOK
AU  - Mann, Allen L.
AU  - Sandu, Gabriel
TI  - Independence-friendly logic: a game-theoretic approach
SN  - 9780521149341
U1  - 511.3 
PY  - 2011///
CY  - Cambridge
PB  - Cambridge University Press
KW  - First-order logic
KW  - Game theory
ER  -