| 000 | 00728nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1995##################000#0#eng## | ||
| 020 | _a9780521452052 | ||
| 022 | _a94047054 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.3 KRA | ||
| 100 | _aKrajíček, Jan | ||
| 245 |
_aBounded arithmetic, propositional logic, and complexity theory _cJan Krajicek |
||
| 260 |
_aCambridge _bCambridge University Press _c1995 |
||
| 300 | _axiv, 343 p. ; 24 cm. | ||
| 500 | _aIncludes bibliographical references (p. 327-334) and indexes | ||
| 650 | _aComputational complexity | ||
| 650 | _aConstructive mathematics | ||
| 650 | _aProposition (Logic) | ||
| 990 | _a057d09b0ac10000c3a390227e5eec47c | ||
| 991 | _a136797 | ||
| 999 |
_c118902 _d118902 |
||