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