The continuum : a critical examination of the foundation of analysis - Weyl, Hermann, 1885-1955. (Dover Publications, 1987)