| 000 | 00876cam a2200241 a 4500 | ||
|---|---|---|---|
| 005 | 20250411133629.0 | ||
| 008 | 921116s1993 enka b 000 0 eng | ||
| 020 | _a0198536909 (cloth) : | ||
| 050 | 0 | 0 |
_aQA9.54 _b.A75 1993 |
| 082 | 0 | 0 | _a511.3 |
| 245 | 0 | 0 |
_aArithmetic, proof theory, and computational complexity / _cedited by Peter Clote and Jan Krajíček. |
| 260 |
_aOxford [England] : _bClarendon Press ; _aNew York : _bOxford University Press, _cc1993. |
||
| 300 |
_axii, 428 p. : _bill. ;HB |
||
| 440 | 0 | _aOxford logic guides ; | |
| 440 | 0 | _aOxford science publications | |
| 650 | 0 | _aProof theory. | |
| 650 | 0 | _aComputational complexity. | |
| 700 | 1 | _aClote, Peter. | |
| 700 | 1 | _aKrajíček, Jan. | |
| 856 | 4 | 1 | _uhttp://www.loc.gov/catdir/enhancements/fy0605/92041659-t.html |
| 856 | 4 | 2 | _uhttp://www.loc.gov/catdir/enhancements/fy0605/92041659-d.html |
| 942 | _cBK | ||
| 999 |
_c8763 _d8763 |
||