| 000 | 00867-am-a2200193-a-4500 | ||
|---|---|---|---|
| 001 | 000188767 | ||
| 005 | 20190422143833.0 | ||
| 008 | 981006s1978 xxu 000 0 rus u | ||
| 040 | _aAM, AiYeEPHG, 19981006 | ||
| 100 | 1 | _aТакеути, Г. | |
| 245 | 1 | 0 |
_aТеория доказательств : _bПер. с англ. / _cГ. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна. |
| 260 |
_aМосква : _bМир , _c1978. |
||
| 300 | _a412 с. | ||
| 534 |
_pОригинал на англ. : _iProof Theory / _aGaisi Takeuti - _cLondon : North-Holland Publishing Company : 1975 |
||
| 650 | 1 | 4 | _aТеория доказательств |
| 650 | 1 | 4 | _aМатематическая логика |
| 700 | 1 |
_aСоболев, С.К. _eпер. _4trl |
|
| 700 | 1 |
_aԱդյան, Սերգեյ Իվանի, _d1931- _eред. _4edt |
|
| 999 |
_c156415 _d156415 |
||