机读格式显示(MARC)
- 000 01051cam a2200313 a 4500
- 008 110805s2011 enka b 001 0 eng c
- 020 __ |a 9780521149341 (pbk.)
- 020 __ |a 0521149347 (pbk.)
- 040 __ |a EQO |c EQO |d CDX |d MIA |d IQU |d YDXCP |d BWX |d DLC
- 050 00 |a BC128 |b .M36 2011
- 099 __ |a CAL 022011292936
- 100 1_ |a Mann, Allen L. |q (Allen Lawrence)
- 245 10 |a Independence-friendly logic : |b a game-theoretic approach / |c Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.
- 260 __ |a Cambridge, UK ; |a New York : |b Cambridge University Press, |c 2011.
- 300 __ |a vi, 208 p. : |b ill. ; |c 23 cm.
- 490 0_ |a London Mathematical Society lecture note series ; |v 386
- 504 __ |a Includes bibliographical references (p. [198]-202) and index.
- 650 _0 |a First-order logic.
- 700 1_ |a Sandu, Gabriel.
- 700 1_ |a Sevenster, Merlijn.
- 950 __ |a SCNU |f O14/M281