Mathematical heritage of Hermann Weyl (Providence, R.I. : American Mathematical Society, 1988)