서명 / 저자 |
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.
|
저자명 |
Mann, Allen L;Sandu, Gabriel.;Sevenster, Merlijn. |
발행사항 |
Cambridge, UK ; New York : Cambridge University Press, 2011.
|
총서명 |
London Mathematical Society lecture note series ; 386
|