Normal view
MARC view
Основания математики теория доказательств Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна
Material type: TextSeries: Математическая логика и основания математикиPublication details: Москва Наука, Физматлит 1982Description: 652 сSubject(s): основания математики | доказательства (мат.), теория | Гильберта ε-символ | Гильберта ε-теорема первая | доказательства непротиворечивости | переменные связанные, метод исключения | арифметика, исследования | доказательство (мат.), методы | логический символизм | Гильберта ε-теорема вторая | логический формализм | арифметизация математики, метод | исчисление предикатов | Геделя теорема о неполноте арифметических исчислений | нормальные формы (мат. логика) теоретико-модельные | функции вычислимые | Черча теорема о невозможности алгоритма | исчисление высказываний | формализмы (мат. логика) | числа действительные, теория | формализм арифметический, доказательство непротиворечивости | логические исчисления | Эрбрана теорема | математический анализ, дедуктивное построениеGenre/Form: монографии Online resources: Click here to access onlineItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
1 месяц | Книгохранилище | 1-471596 (Browse shelf (Opens below)) | 1 | Available | 13820000205994 |
Алф. указ.: с. 647-652
There are no comments on this title.