000 | 01495nam a2200337 4500 | ||
---|---|---|---|
001 | vtls000005181 | ||
003 | RU-ToGU | ||
005 | 20210921192553.0 | ||
008 | 120826s1993 rur 000 0 rus d | ||
020 |
_a5861340048 _c1050.00 |
||
035 | _a0005-82960 | ||
040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
080 | _a510.5/.6 | ||
084 |
_a27.03.17 _2rugasnti |
||
084 |
_a27.03.19 _2rugasnti |
||
245 | 1 | 0 |
_aМатематическая логика и теория алгоритмов _cОтв. ред. Ю. Л. Ершов и С. С. Гончаров; СО Рос. АН |
260 |
_aНовосибирск _bИздательство института математики СО РАН _c1993 |
||
300 | _a204 с. | ||
490 | 1 | 0 |
_aТруды Института математики СО РАН _vТ. 25 |
504 | _aБиблиогр. в конце ст. | ||
653 | _aматематическая логика. | ||
653 | _aтеория алгоритмов. | ||
653 | _aоднородные модели. | ||
653 | _aсчетно насыщенные модели. | ||
653 | _aбулевы алгебры. | ||
653 | _aабелевы p-группы. | ||
710 | 2 |
_aИнститут математики (Новосибирск) _958703 |
|
830 |
_aТруды Института математики СО РАН _9564887 |
||
852 | 4 |
_aRU-ToGU _h1-811901к _i510 _nru |
|
999 | _c50666 |