Frank Richman (richman-f)

Contributions to Philosophie.ch

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.