Mathematics: Its content, methods, and meaning - M. A. (Cambridge, 1986)