Методологические проблемы интуиционистской математики - Панов М. И. Михаил Иванович (Москва, Наука, 1984)