Intuitionism as generalization (1990)

by F Richman
Venue:Phil. Math