Elements of the theory of computation /
Lewis, Harry R.
Papadimitriou, Christos H.
London : Prentice Hall International,
c1998.
Previous ed.: 1981.
Includes index.
Machine theory.
Formal languages.
Computational complexity.
Logic, Symbolic and mathematical.