Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Адян, Сергей Иванович (1)
- Бернайс, Пауль (1)
- Гильберт, Давид (1)
- Хакинг, Ян (1)
-
Locations
- Читальный зал 4 (1)
- Книгохранилище (1)
-
Item types
- 1 месяц (1)
- Выдается по месту хранения (1)
-
Topics
- Бернайс, Пауль (1)
- Геделя теорема о неполноте арифметических исчислений (1)
- Гильберта ε-символ (1)
- Гильберта ε-теорема вторая (1)
- Гильберта ε-теорема первая (1)
- Черча теорема о невозможности алгоритма (1)
- Эрбрана теорема (1)
- арифметизация математики, метод (1)
- арифметика, исследования (1)
- доказательства (1)
- доказательства (мат.), теория (1)
- доказательства непротиворечивости (1)
- доказательство (мат.), методы (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- логические исчисления (1)
- логический символизм (1)
- логический формализм (1)
- математика (1)
- математический анализ, дедуктивное построение (1)
- нормальные формы (мат. логика) теоретико-модельные (1)
- основания математики (1)
- переменные связанные, метод исключения (1)
- платонизм (1)
- философия математики (1)
- формализм арифметический, доказательство непротиворечивости (1)
- формализмы (мат. логика) (1)
- функции вычислимые (1)
- числа действительные, теория (1)
- Show more
- Show less