Hermann Weyl's intuitionistic mathematics by D. van Dalen