Основания интуиционистской математики с точки зрения теории рекурсивных функций - Клини С.К., Весли Р. (Наука, 1978)