TY  - BOOK
AU  - Гильберт,Давид
AU  - Бернайс,Пауль
AU  - Адян,Сергей Иванович
TI  - Основания математики: теория доказательств
T2  - Математическая логика и основания математики
PY  - 1982///
CY  - Москва
PB  - Наука, Физматлит
KW  - основания математики
KW  - доказательства (мат.), теория
KW  - Гильберта ε-символ
KW  - Гильберта ε-теорема первая
KW  - доказательства непротиворечивости
KW  - переменные связанные, метод исключения
KW  - арифметика, исследования
KW  - доказательство (мат.), методы
KW  - логический символизм
KW  - Гильберта ε-теорема вторая
KW  - логический формализм
KW  - арифметизация математики, метод
KW  - исчисление предикатов
KW  - Геделя теорема о неполноте арифметических исчислений
KW  - нормальные формы (мат. логика) теоретико-модельные
KW  - функции вычислимые
KW  - Черча теорема о невозможности алгоритма
KW  - исчисление высказываний
KW  - формализмы (мат. логика)
KW  - числа действительные, теория
KW  - формализм арифметический, доказательство непротиворечивости
KW  - логические исчисления
KW  - Эрбрана теорема
KW  - математический анализ, дедуктивное построение
KW  - монографии
N1  - Алф. указ.: с. 647-652
UR  - http://sun.tsu.ru/limit/2016/000080480/000080480.pdf
ER  -