Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Основания математики (Д. Гильберт, П. Бернайс)
\
9.6.2.8.2.1. Логические исчисления
и формализация арифметики
Начало см.
здесь
.
Гильберт Д., Бернайс П.
Основания математики.
Пер. с нем. Н. М. Нагорного под ред. С. И. Адяна.
Том I. Логические исчисления и формализация арифметики.
М.: Наука, 1979.
9.6.2.8.2.1.1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости
9.6.2.8.2.1.2. Элементарная арифметика. Финитный способ рассуждений и его границы
9.6.2.8.2.1.6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики
9.6.2.8.2.1.1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости
9.6.2.8.2.1.2. Элементарная арифметика. Финитный способ рассуждений и его границы
9.6.2.8.2.1.6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Основания математики (Д. Гильберт, П. Бернайс)
\
