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

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

Show other versions (2)

Bibliographic Details
Main Author:	Колмогоров, Андрей Николаевич 1903-1987
Other Authors:	Драгалин, Альберт Григорьевич 1941-1998, Минц, Г. Е. (Editor)
Format:	Book
Language:	Russian
Published:	Москва УРСС 2005
Edition:	Изд. 2-е, стер.
Series:	Классический университетский учебник
Subjects:	Колмогоров, Андрей Николаевич > 1903-1987 Драгалин, Альберт Григорьевич > 1941-1998 математическая логика учебные издания для вузов теория множеств математические структуры булева алгебра логика высказываний исчисление высказываний логика предикатов логико-математические языки логические законы аксиоматические теории формальные теория силлогизмов классификация суждений теория алгоритмов наивная теория множеств Цермело-Френкеля теория множеств аксиоматическая Геделя теорема теория множеств аксиоматическая Тьюринга машины Черча тезис Гильберта программа обоснования математики
Online Access:	Перейти в каталог НБ ТГУ

Internet

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

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	2-012876
	Available Place a Hold