Intuitionism As Generalization (1990)

by Fred Richman
Venue:Philosophia Math
Citations:7 - 1 self