Philosophy of mathematics - Benacerraf, Paul (Prentice-Hall, 1964)