Thinking About Maths Opus P by Stewart Shapiro