Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление высказываний \ Интуиционистское исчисление высказываний \ Интуиционизм и его логика (Э. Голдблатт, 1983) \
 

9.6.2.3.7.1.4. Семантика Крипке

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