عنوان
پدید آورنده
موضوع
رده
BC128 .M36 2011
BC128
.
M36
2011
کتابخانه
محل استقرار
0521149347 (pbk.)
9780521149341 (pbk.)
dltt
Independence-friendly logic :
[Book]
a game-theoretic approach /
by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
New York :
Cambridge University Press,
2011
vi, 208 p. :
ill. ;
23 cm
London Mathematical Society lecture note series ;
386
Includes bibliographical references (p. [198]-202) and index
First-order logic
Game theory
511
.
3
22
BC128
.
M36
2011
Mann, Allen L., (Allen Lawrence)
Sandu, Gabriel
Sevenster, Merlijn
20110816110110.0
مطالعه متن کتاب [Book]
Y
