What books would serve as a comprehensive overview of philosophical and mathematical logic?

These are very large fields, so I'm not sure a comprehensive overview is really possible. (Though there is the umpteen volume Handbook of Philosophical Logic .) That said, there is a new book out quite recently, by John Burgess, titled Philosophical Logic , that gives a good introduction to that area. For mathematical logic, I like Peter Hinman's Foundations of Mathematical Logic , as it covers a fairly wide range of material.