Text this: The foundations of intuitionistic mathematics :