TY  - BOOK
AU  - Еримбетов,Мырзахан Мырзахметович
TI  - Теория моделей в Казахстане: сборник научных работ, посвященный памяти А. Д. Тайманова
SN  - 9965971838
PY  - 2006///
CY  - Алматы
PB  - Eco Study
KW  - Тайманов, Асан Дабсович
KW  - теория моделей
KW  - изоморфизм моделей
KW  - автоморфизм моделей
KW  - аксиоматическая теория множеств
KW  - математическая логика
KW  - логика высказываний
KW  - исчисление высказываний
KW  - решетки
KW  - группы
KW  - математические модели
KW  - логика предикатов
KW  - исчисление предикатов
KW  - арифметика формальная
KW  - теоретико-модальная алгебра
KW  - конструктивная математика
KW  - воспоминания
N1  - Библиогр. в конце ст
ER  -