Mathematics: Its content, methods and meaning. V2 - Aleksandrov, A D (Cambridge MIT Press, 1977)