MARC Record from harvard_bibliographic_metadata

LEADER: 02054nam a22002654a 4500
001 012066937-4
005 20090828142840.0
008 090817s2007 enka b 100 0 eng
010 $a 2009379942
020 $a9781904987758 (pbk.)
035 0 $aocn192083121
040 $aDLC$cDLC
050 00 $aQA9.A1$bF684 2007
245 00 $aFoundations of the formal sciences V :$binfinite games /$cedited by Stefan Bold ... [et al.].
260 $aStrand, London, UK :$bCollege Publications,$cc2007.
300 $axi, 351 p. :$bill. ;$c24 cm.
490 1 $aStudies in logic ;$vv. 11
504 $aIncludes bibliographical references.
505 0 $aThe SLO principle and the Wadge hierarchy / Alessadro Andretta -- The complexity of independence-friendly fixpoint logic / Julian Bradfield and Stephan Kreutzer -- An infinite game over w-semigroups / Jérémie Cabessa and Jacques Duparc -- Nonmonotone game labellings / Tikitu de Jager and Benedikt Löwe -- Cooperative games with infinite number of players, projective limits and cores / Dieter Denneberg and Gleb Koshevoy -- An w-power of a context free language which is Borel above [delta] / Jacques Duparc and Olivier Finkel -- A playful approach to silver and Mathias forcings / Lorenz Halbeisen -- Determinacy in second order arithmetic / Christoph Heinatsch and Michael Möllerfeld -- Games in algebraic logic: axiomatisations and beyond / Robin Hirsch and Ian Hodkinson -- Evolutionary game theory: why equilibrium and which equilibrium / Wei-Torng Juang and Hamid Sabourian -- Simplicity, truth, and the unending game of science / Kevin T. Kelly -- Random strategies with historical memory for the Robin Hood game / Boaz Tsaban -- On infinite Ehrenfeucht-Fraïssé games Jouko Väänänen -- On concept lattices of coalitional game forms / Stefano Vannucci -- Sets with large intersections: a game theoretic approach / Enrico Zoli.
650 0 $aInfinite$vCongresses.
650 0 $aGames$vCongresses.
700 1 $aBold, Stefan.
830 0 $aStudies in logic ;$vv. 11.
988 $a20090831
906 $0DLC