TY  - BOOK
AU  - Мендельсон,Эллиот
AU  - Адян,С.И.
TI  - Введение в математическую логику
PY  - 1984///
CY  - М.
PB  - Наука. Физматлит
KW  - логика высказываний
KW  - логика предикатов
KW  - арифметика формальная
KW  - аксиоматическая теория множеств
KW  - алгоритмов теория
KW  - теория моделей
KW  - упражнения
KW  - система аксиом
KW  - Тарского теорема
KW  - Хартогса теорема
KW  - кванторы
KW  - теоремы о полноте
KW  - математическая логика
N1  - Библиогр.: с. 296-309; Алф.указ.: с. 310-317
ER  -