Intuitionism as generalization (1990)

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