Journal of Philosophical LogicGleason's theorem is not constructively provableGeoffrey Paul HellmanPublished Apr 1, 1993• 41 citationsPublisherDOI10.1007/bf01049261