Seol mar théacs é seo: The foundations of intuitionistic mathematics, especially in relation to recursive functions /