Mathematics, its content, methods, and meaning (M.I.T. Press, 1969)