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