Intuitionism As Generalization (1990)

by Fred Richman
Venue:Philosophia Math