Основания математики теория доказательств

Основания математики теория доказательств

Bibliographic Details
Main Author:	Гильберт, Давид 1862-1943
Other Authors:	Бернайс, Пауль, Адян, Сергей Иванович 1931- (Editor)
Format:	eBook
Language:	Russian
Published:	Москва Наука, Физматлит 1982
Series:	Математическая логика и основания математики
Subjects:	основания математики доказательства (мат.), теория Гильберта ε-символ Гильберта ε-теорема первая доказательства непротиворечивости переменные связанные, метод исключения арифметика, исследования доказательство (мат.), методы логический символизм Гильберта ε-теорема вторая логический формализм арифметизация математики, метод исчисление предикатов Геделя теорема о неполноте арифметических исчислений нормальные формы (мат. логика) теоретико-модельные функции вычислимые Черча теорема о невозможности алгоритма исчисление высказываний формализмы (мат. логика) числа действительные, теория формализм арифметический, доказательство непротиворечивости логические исчисления Эрбрана теорема математический анализ, дедуктивное построение монографии
Online Access:	http://sun.tsu.ru/limit/2016/000080480/000080480.pdf Перейти в каталог НБ ТГУ

Internet

http://sun.tsu.ru/limit/2016/000080480/000080480.pdf
Перейти в каталог НБ ТГУ

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

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