Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
Основные этапы развития логики
Введение
Логика - одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным...