000 | 00787nam a2200193 u 4500 | ||
---|---|---|---|
001 | 000114848 | ||
005 | 20240731090612.0 | ||
008 | 970522s1967 ||||||||||||||||||||rus d | ||
245 | 0 | 0 |
_aМатематическая теория логического вывода / _cСборник пер. под. ред. А.В. Идельсона и Г.Е. Минца. |
260 |
_aМосква : _bНаука, _c1967. |
||
300 | _a351с. | ||
440 | 0 | _aМатематическая теория и основания математики | |
504 | _aБиблиогр. 13 назв. | ||
650 | 1 | 4 | _aМатематическая логика |
700 | 1 |
_aИдельсон, А.В. _eред. _4edt |
|
700 | 1 |
_aМинц, Г.Е. _eред. _4edt |
|
999 |
_c11247 _d11247 |
||
041 | _arus |