Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление высказываний
\
Интуиционистское исчисление высказываний
\
Интуиционизм и его логика (Э. Голдблатт, 1983)
\
9.6.2.3.7.1.1. Конструктивистская
философия
Начало см.
здесь
.
Голдблатт Э.
Топосы.
(Категорный анализ логики)
Пер. с англ., М.: "Мир", 1983, сс. 186 — 190.
9.6.2.3.7.1.1.1. Кантор, Кронекер и Пуанкаре
9.6.2.3.7.1.1.2. Пересмотр оснований классической логики Л. Э. Я. Брауэром
9.6.2.3.7.1.1.3. Пересмотр оснований классической логики Л. Э. Я. Брауэром (продолжение)
9.6.2.3.7.1.1.1. Кантор, Кронекер и Пуанкаре
9.6.2.3.7.1.1.2. Пересмотр оснований классической логики Л. Э. Я. Брауэром
9.6.2.3.7.1.1.3. Пересмотр оснований классической логики Л. Э. Я. Брауэром (продолжение)
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление высказываний
\
Интуиционистское исчисление высказываний
\
Интуиционизм и его логика (Э. Голдблатт, 1983)
\
