TY  - BOOK
AU  - Мендельсон,Эллиот
AU  - Адян, Сергей Иванович
TI  - Введение в математическую логику
PY  - 1971///
CY  - Москва
PB  - Наука, Физматлит
KW  - математическая логика
KW  - исчисление высказываний
KW  - многозначные логики
KW  - теории первого порядка
KW  - теоремы о полноте
KW  - теории первого порядка обобщенные
KW  - арифметика формальная
KW  - множеств теория, аксиоматические методы
KW  - вычислимость эффективная
KW  - арифметика формальная, доказательство непротиворечивости
KW  - Тьюринга алгоритмы
KW  - Маркова алгоритмы нормальные
KW  - Эрбрана-Геделя вычислимость
KW  - неразрешимые проблемы (мат. логика)
KW  - учебные издания
N1  - Доступна электронная версия; Получено из INTERNET
UR  - http://sun.tsu.ru/limit/2016/000074653/000074653.djvu
ER  -