Thinking about Mathematics - Shapiro, Stewart (Oxford, 2000)