Gleason’s theorem has a constructive proof (0)

by F Richman
Venue:J. Phil. Logic