| 000 | 01223n a2200337#a 4500 | ||
|---|---|---|---|
| 001 | 9101 | ||
| 005 | 20240404163403.0 | ||
| 008 | 930427s1993 riu b 000 0 eng | ||
| 010 | _a93011139 | ||
| 020 | _a0821845764 (acid-free) | ||
| 035 | _aocm28147838 | ||
| 035 | _aRecord 17326 | ||
| 040 |
_aDLC _cDLC _dFPU |
||
| 041 | 1 |
_aeng _hrus |
|
| 049 | _aP5AA | ||
| 082 | 0 | 0 |
_a511.3 _bO66c |
| 090 | _alf2 | ||
| 100 | 1 |
_aOrevkov, V. P. _939550 |
|
| 240 | 1 | 0 |
_aOrevkov, V. P. _lEnglish |
| 245 | 1 | 0 |
_aComplexity of proofs and their transformations in axiomatic theories/ _cV. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. |
| 260 |
_aProvidence, R.I.: _bAmerican Mathematical Society, _cc1993. |
||
| 300 |
_avi, 153 p. ; _c27 cm. |
||
| 504 | _aIncludes bibliographical references (p. 151-153). | ||
| 650 | 0 | 7 |
_aProof theory _937150 |
| 650 | 0 | 4 |
_aPreuve, théorie de la. _2ram _930232 |
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 700 | 1 |
_aLouvish, David. _936020 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c10093 _d10093 |
||
| 490 | 0 |
_aTranslations of mathematical monographs, _vv. 128. _944328 |
|