TY  - BOOK
AU  - Колмогоров,Андрей Николаевич
AU  - Драгалин,Альберт Григорьевич
TI  - Математическая логика: [Учебное пособие для математических специальностей вузов]
T2  - Классический университетский учебник
SN  - 535400389X
PY  - 2004///
CY  - М.
PB  - Едиториал УРСС
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  - Гильберта программа обоснования математики
ER  -