| 000 | 01172nam a22002892i 4500 | ||
|---|---|---|---|
| 001 | 006401473 | ||
| 003 | ELAR | ||
| 005 | 20170317170329.0 | ||
| 008 | 121029s1967 ru ||||| |||||||| ||rus d | ||
| 035 | _a(RuMoELAR)1946-68-795471 | ||
| 040 |
_aRuMoRGB _brus _cELAR _ercr |
||
| 041 | 0 | _arus | |
| 044 | _aru | ||
| 080 | _a | ||
| 245 | 0 | 0 |
_aМатематическая теория логического вывода : _bСборник переводов / _cПод ред. А. В. Идельсона и Г. Е. Минца. |
| 260 |
_aМосква : _bНаука, _c1967. |
||
| 300 | _a351 с. | ||
| 490 | 0 | _aМатематическая логика и основания математики | |
| 504 | _aБиблиогр. в конце статей. | ||
| 653 | _aმათემატიკური ლოგიკა | ||
| 700 | 1 |
_aИдельсон, А. В. _eრედაქტორი |
|
| 700 | 1 |
_aМинц, Г. Е. _eრედაქტორი |
|
| 942 |
_2udc _cBK |
||
| 999 |
_c120524 _d120523 |
||