covers the basics
...but perhaps not the bases. Nominalism, Literalism and Realism are there, on the basis of geometry and number theory, and so is Goedel's work. But I think some coverage should have been given to category theory, which seems to me to have important implications in philosophy.