Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление высказываний \ Интуиционистское исчисление высказываний \
 

9.6.2.3.7.1. Интуиционизм и его логика
(Э. Голдблатт, 1983)

 
Начало см. здесь.
Голдблатт Э.  Топосы.
(Категорный анализ логики)
Пер. с англ., М.: "Мир", 1983, сс. 186 — 207.
9.6.2.3.7.1.1. Конструктивистская философия      9.6.2.3.7.1.2. Исчисление Гейтинга      9.6.2.3.7.1.4. Семантика Крипке