Correspondence between complexity classes and logic
Neil Immerman produced a beautiful diagram that provides at-a-glance correspondences between complexity classes and logics interpreted by finite models.  It's on the cover of his book, and also at the bottom of his web page here: http://www.cs.umass.edu/~immerman/