Dirk van Dalen Herman Weyl's intuitionistic mathematics. 145-169 1995 1 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/0102/0102-001.ps db/journals/bsl/bsl1.html#Dalen95