Электронный каталог: Клини, Стефен Коул - Основания интуиционистской математики с точки зрения теории рекрусивных функций