000 | 01906nam a2200421 i 4500 | ||
---|---|---|---|
001 | vtls000227524 | ||
003 | RU-ToGU | ||
005 | 20210922120852.0 | ||
008 | 070330s2006 kz o f b 010 0drus d | ||
020 | _a9965971838 | ||
035 | _ato000227524 | ||
040 |
_aRU-ToGU _brus _cRU-ToGU |
||
080 | _a510.67(082)(574) | ||
245 | 1 | 0 |
_aТеория моделей в Казахстане _bсборник научных работ, посвященный памяти А. Д. Тайманова _cпод ред. М. М. Еримбетова |
260 |
_aАлматы _bEco Study _c2006 |
||
300 |
_a447 л. _bил. |
||
504 | _aБиблиогр. в конце ст. | ||
600 | 1 | 4 |
_aТайманов, Асан Дабсович _d1917-1990 _9101652 |
653 | _aтеория моделей | ||
653 | _aизоморфизм моделей | ||
653 | _aавтоморфизм моделей | ||
653 | _aаксиоматическая теория множеств | ||
653 | _aматематическая логика | ||
653 | _aлогика высказываний | ||
653 | _aисчисление высказываний | ||
653 | _aрешетки | ||
653 | _aгруппы | ||
653 | _aматематические модели | ||
653 | _aлогика предикатов | ||
653 | _aисчисление предикатов | ||
653 | _aарифметика формальная | ||
653 | _aтеоретико-модальная алгебра | ||
653 | _aконструктивная математика | ||
653 | _aвоспоминания | ||
700 | 1 |
_aЕримбетов, Мырзахан Мырзахметович _4edt _9528708 |
|
852 | 4 |
_aRU-ToGU _nru |
|
999 | _c501717 |