Restricted Forms of Intuitionistic Mathematics - J. J. De Iongh - Proceedings of the Tenth International Congress of Philosophy (Philosophy Documentation Center)