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