Frank Richman (richman-f)

Contributions à Philosophie.ch

Bibliography

Bridges, Douglas S. and Richman, Frank. 1987. Varieties of Constructive Mathematics. Cambridge: Cambridge University Press.
Richman, Frank. 2000. “Gleason’s Theorem Has a Constructive Proof.” The Journal of Philosophical Logic 29(4): 425–431.