TY  - BOOK
AU  - Успенский,Владимир Андреевич
AU  - Верещагин, Николай Константинович
AU  - Плиско,Валерий Егорович
TI  - Вводный курс математической логики: [учебное пособие]
SN  - 5922102780
PY  - 2007///
CY  - Москва
PB  - Физматлит
KW  - учебные пособия для вузов
KW  - математическая логика
KW  - теория множеств
KW  - множества эквивалентные
KW  - множества счетные
KW  - кардинальные числа
KW  - Кантора теорема
KW  - парадоксы теории множеств
KW  - аксиоматическая теория множеств
KW  - логика высказываний
KW  - логические операции
KW  - кванторы
KW  - языки первого порядка
KW  - субъектно-предикатная структура
KW  - истинности формальное определение
KW  - формулы общезначимые
KW  - формулы выполнимые
KW  - формулы равносильные
KW  - формулы предваренные
KW  - истинность
KW  - изоморфизмы
KW  - эквивалентность элементарная
KW  - выразимость (мат. логика)
KW  - выразимость (мат. логика), доказательство
KW  - автоморфизмы
KW  - теория доказательств
KW  - аксиоматический метод
KW  - логическое следование
KW  - тавтологическое следствие (мат. логика)
KW  - исчисление предикатов
KW  - вывод из гипотез
KW  - теории первого порядка
KW  - арифметика формальная
KW  - Геделя теорема о полноте
KW  - категоричность (мат. логика)
KW  - теория алгоритмов
KW  - функции вычислимые
KW  - множества разрешимые
KW  - множества полуразрешимые
KW  - универсальная вычислимая функция
KW  - перечислимость множества теорем
KW  - Тьюринга машины
KW  - Черча тезис
N1  - Библиогр.: с. 122; Предм. указ.: с. 123-125
ER  -