Intuitionism as Generalization (1990)

by Fred Richman
Venue:Philosophia Mathematica