Introduction to Mathematical Philosophy — book