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