Основания интуиционистской математики с точки зрения теории рекурсивных функций. /Математическая логика и основания математики./