LEADER 01254nam a2200301 i 4500 001 991001806959707536 008 130912s2011 enka b 001 0 eng d 020 $a9780521149341 035 $ab14073705-39ule_inst 040 $aDip.to Matematica e Fisica$beng 082 00$a511.3$222 084 $aAMS 91A44 100 1 $aMann, Allen L.$0477388 245 10$aIndependence-friendly logic :$ba game-theoretic approach /$cAllen L. Mann, Gabriel Sandu, Merlijn Sevenster 260 $aCambridge, UK ;$aNew York :$bCambridge University Press,$c2011 300 $avi, 208 p. :$bill. ;$c23 cm 440 0$aLondon Mathematical Society lecture note series,$x0076-0552 ;$v386 504 $aIncludes bibliographical references (p. [198]-202) and index 650 0$aFirst-order logic 650 0$aGame theory 700 1 $aSandu, Gabriel$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0511089 700 1 $aSevenster, Merlijn 907 $a.b14073705$b26-09-12$c13-09-12 912 $a991001806959707536 945 $aLE013 91A MAN11 (2011)$g1$i2013000216041$lle013$op$pE53.61$q-$rl$s- $t0$u0$v0$w0$x0$y.i15443589$z26-09-12 996 $aIndependence-friendly logic$91442428 997 $aUNISALENTO 998 $ale013$b13-09-12$cm$da $e-$feng$genk$h0$i0