Elements of the theory of computation /
Harry R. Lewis and Christos H. Papadimitriou
- New Jersey : Prentice-Hall, c1981.
- xiv, 466 p. : ill. ; 22+ cm.
Includes bibliographical references and index.
8120310160
Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.