TY  - BOOK
AU  - Хусаинов,Ахмет Аксанович
AU  - Михайлова,Наталья Николаевна
TI  - Математическая логика и теория алгоритмов: [учебное пособие]
SN  - 5776505496
PY  - 2005///
CY  - Комсомольск-на-Амуре
PB  - КНАГТУ
KW  - аксиоматическая теория множеств
KW  - алгебра логики
KW  - теорема о полноте
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - теория моделей языка первого порядка
KW  - теория нечетких множеств
KW  - модальная логика
KW  - темпоральная логика
KW  - алгоритмическая логика
KW  - теория алгоритмов
KW  - теория рекурсии
KW  - задачи по математической логике
KW  - математическая логика
KW  - учебные пособия для вузов
N1  - Библиогр.: с. 95; Предм. указ.: с. 91-94
ER  -