TY - BOOK AU - Mann,A.L et al ED - Sandu, G ED - Sevenster, M TI - Independence-friendly logic: game-theoretic approach T2 - London mathematical society lecture note series 386 SN - 9780521149341 U1 - 511.3 PY - 2011/// CY - New York PB - Cambridge University Press ER -