TY  - BOOK
AU  - Верещагин,Николай Константинович
AU  - Шень,Александр Ханиевич
TI  - Лекции по математической логике и теории алгоритмов
T2  - Современные лекционные курсы
SN  - 5900916669
PY  - 2000///
CY  - М.
PB  - МЦНМО
KW  - математическая логика
KW  - логика высказываний
KW  - исчисление высказываний
KW  - языки первого порядка
KW  - исчисление предикатов
KW  - теория моделей
KW  - предикаты выразимые
KW  - предикаты невыразимые
KW  - автоморфизмы
KW  - разрешимые теории
KW  - Геделя теорема о полноте
KW  - учебные пособия для вузов
KW  - булевы функции
KW  - истинные высказывания
KW  - ложные высказывания
N1  - Библиогр.: с. 268 - 272; Предм. указ.: с. 273 - 282; Указ. имен: с. 283 - 284
ER  -