Text this: Основания интуиционистской математики с точки зрения теории рекурсивных функций