Journal of Philosophical LogicGleason's Theorem Has a Constructive ProofFred RichmanPublished Aug 1, 2000• 13 citationsPublisherDOI10.1023/a:1004791723301