Mann, Allen L. Sandu, Gabriel. Independence friendly logic A game theoretic approach - Cambridge CUP 2011 - 208p. - London mathematical society lecture note series; 386 . ISBN: 9780521149341 Dewey Class. No.: 519.3 / P11