Литература и дополнительные материалы

Полезные ссылки

• Intuitionistic Logic / The Stanford Encyclopedia of Philosophy
• Intuitionistic Logic / Attic Philosophy
• Плиско В.Е., Хаханян В.Х. Интуиционистская логика. М., 2009
• Конструктивная логика. Лекции Малого мехмата
• Intuitionism in the Philosophy of Mathematics / The Stanford Encyclopedia of Philosophy
• The Development of Intuitionistic Logic / The Stanford Encyclopedia of Philosophy
• Constructive Mathematics / The Stanford Encyclopedia of Philosophy
• Intuitionistic Type Theory / The Stanford Encyclopedia of Philosophy
• Luitzen Egbertus Jan Brouwer / The Stanford Encyclopedia of Philosophy
• Philapers: Intuitionistic Logic
• Лекция 1. Т.Л.Яворская. Интуиционистская логика высказываний. Семантика Крипке
• Оноприенко Анастасия, Интуиционистская логика