000 | 00651pam a2200181a 44500 | ||
---|---|---|---|
008 | 160408b2011 xxu||||| |||| 00| 0 eng d | ||
020 | _a9780521149341 | ||
040 | _aP K Kelkar Library, IIT Kanpur | ||
082 |
_a511.3 _bM315i |
||
100 | _aMann, Allen L. | ||
245 | 0 |
_aIndependence-friendly logic _ba game-theoretic approach _cAllen L. Mann, Gabriel Sandu and Merlijn Sevenster |
|
260 |
_aCambridge _bCambridge University Press _c2011 |
||
440 |
_aLondon Mathematical Society Lecture Note Series / Edited By M. Reid _vNo.386 |
||
650 | _aFirst-order logic | ||
650 | _aGame theory | ||
700 | _aSandu, Gabriel | ||
997 | _aA176218 C | ||
999 |
_c372641 _d372641 |