Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]

Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]

Библиографическая информация
Главный автор:	Зюзьков, Валентин Михайлович
Соавтор:	Томский государственный университет
Формат:	Электронная книга
Язык:	Russian
Публикация:	Томск Издательский Дом Томского государственного университета 2017
Предметы:	математическая логика теория множеств пропозициональная логика язык предикатов аксиоматические теории теория вычислимости. ламбда-исчисление Геделя теоремы о неполноте языки логики высказываний предикаты кванторы математическое доказательство формализация вычислимости Тьюринга машины алгоритмическая неразрешимость задачи по математической логике теоремы математической логики учебные издания
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000581547 Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000581547
Перейти в каталог НБ ТГУ

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

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

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

Подробно о фондах из Научная библиотека ТГУ: Книгохранилище
Шифр:	2-027678 2-042533
	В каталоге библиотеки Зарезервировать
	В каталоге библиотеки Зарезервировать

Научная библиотека ТГУ: Абонемент

Подробно о фондах из Научная библиотека ТГУ: Абонемент
Шифр:	51 З-981
	В каталоге библиотеки Зарезервировать