Independence-friendly logic : a game-theoretic approach /

Hlavní autor:
Další autoři:
Sandu, Gabriel ( Autor )
Sevenster, Merlijn ( Autor )
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Cambridge, UK ; New York : Cambridge University Press, 2011.
Edice: London Mathematical Society lecture note series ; 386
Předmět: