01254nam a2200301 i 4500991001806959707536130912s2011 enka b 001 0 eng d9780521149341b14073705-39ule_instDip.to Matematica e Fisicaeng511.322AMS 91A44Mann, Allen L.477388Independence-friendly logic :a game-theoretic approach /Allen L. Mann, Gabriel Sandu, Merlijn SevensterCambridge, UK ;New York :Cambridge University Press,2011vi, 208 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;386Includes bibliographical references (p. [198]-202) and indexFirst-order logicGame theorySandu, Gabrielauthorhttp://id.loc.gov/vocabulary/relators/aut511089Sevenster, Merlijn.b1407370526-09-1213-09-12991001806959707536LE013 91A MAN11 (2011)12013000216041le013pE53.61-l- 00000.i1544358926-09-12Independence-friendly logic1442428UNISALENTOle01313-09-12ma -engenk00