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