TY  - BOOK
AU  - Колмогоров,Андрей Николаевич
AU  - Драгалин,Альберт Григорьевич
AU  - Минц,Г.Е.
TI  - Математическая логика: дополнительные главы : [учебное пособие для студентов математических специальностей вузов]
T2  - Классический университетский учебник
SN  - 9785354014460
PY  - 2013///
CY  - Москва
PB  - Едиториал УРСС
KW  - Колмогоров, Андрей Николаевич
KW  - Драгалин, Альберт Григорьевич
KW  - Математическая логика - Учебники и пособия
KW  - rurkp
KW  - учебные издания для вузов
KW  - теория множеств
KW  - математические структуры
KW  - булева алгебра
KW  - логика высказываний
KW  - исчисление высказываний
KW  - логика предикатов
KW  - логико-математические языки
KW  - логические законы
KW  - формулы
KW  - термы
KW  - семантика логико-математических языков
KW  - исчисление предикатов
KW  - аксиоматические теории
KW  - теорема о дедукции
KW  - наивная теория множеств
KW  - Цермело-Френкеля аксиоматическая теория
KW  - Тьюринга машины
KW  - теоремы общей теории алгорифмов
KW  - теория алгорифмов
KW  - теория доказательств
KW  - Геделя теорема о неполноте
KW  - Гильберта программа обоснования математики
N1  - Библиогр.: с. 227-228; Указатели: с. 229-236
ER  -