Descriptive complexity - Immerman Neil (New York Springer-Verlag, 1998)
Keywords: Computational complexity; Mathematical logic; Symbolic logic