Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Математика метаматематики (Е. Расева, Р. Сикорский; 1972)
\
9.6.2.8.3.0. Предисловие
Начало см.
здесь
.
Расева Е., Сикорский Р.
Математика метаматематики.
Пер. с англ., М.: Наука, 1972.
О
программе "финитизма"
Гильберта см. во
вступительной статье С. Адяна
.
Раздел о
решетках
см.
здесь
.
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Математика метаматематики (Е. Расева, Р. Сикорский; 1972)
\
