Title: The foundations of intuitionistic mathematics
Subjects: Intuitionistic mathematics, Recursive functions