Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов]

Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов]

Библиографическая информация
Главный автор:	Колмогоров, Андрей Николаевич 1903-1987
Другие авторы:	Драгалин, Альберт Григорьевич 1941-1998, Минц, Г. Е. (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	Москва Едиториал УРСС 2013
Редактирование:	Изд. 4-е, обновл.
Серии:	Классический университетский учебник
Предметы:	Колмогоров, Андрей Николаевич > 1903-1987 Драгалин, Альберт Григорьевич > 1941-1998 Математическая логика - Учебники и пособия. учебные издания для вузов теория множеств математические структуры. булева алгебра. логика высказываний. исчисление высказываний. логика предикатов. логико-математические языки. логические законы. формулы. термы. семантика логико-математических языков. исчисление предикатов. аксиоматические теории. теорема о дедукции. наивная теория множеств. Цермело-Френкеля аксиоматическая теория. Тьюринга машины. теоремы общей теории алгорифмов. теория алгорифмов. теория доказательств. Геделя теорема о неполноте Гильберта программа обоснования математики.
Online-ссылка:	Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Читальный зал 5

Подробно о фондах из Научная библиотека ТГУ: Читальный зал 5
Шифр:	510 К608
	В каталоге библиотеки Зарезервировать