發送短信: Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.