Journal of Philosophical LogicA Constructive Formulation of Gleason's TheoremHelen BillingePublished Dec 1, 1997• 18 citationsPublisherDOI10.1023/a:1004275113665