| 000 | 00671 a2200217 4500 | ||
|---|---|---|---|
| 999 |
_c52655 _d52655 |
||
| 008 | 200319b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780521452052 | ||
| 082 | _a511.3 KRA | ||
| 100 | _aKrajicek, Jan | ||
| 245 | _aBounded arithmetic, propositional logic and complexity theory, Vol. 60 | ||
| 260 |
_bCambridge University Press, _c1995. _aCambridge: |
||
| 300 |
_axiii; 343 p. _bhb; _c24 cm. |
||
| 365 |
_aGBP _b108.00 |
||
| 440 | _aEncyclopedia of mathematics and its applications | ||
| 650 | _aConstructive Mathematics | ||
| 650 | _aProposition | ||
| 650 | _aLogic | ||
| 650 | _aComputational Complexity | ||
| 650 | _aMathematical Logic | ||
| 942 |
_2ddc _cTD |
||