Text this: Hilbert / With an appreciation of Hilbert's mathematical work by Hermann Weyl.