Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. Lewis, Harry R. Papadimitriou, Christos H., author. Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical. QA267 .L49 001.64 19 LEE Includes bibliographical references and index. Englewood Cliffs, N.J. : Prentice-Hall, c1981. c1981. 1981 Text xiv, 466 p. : eng Prentice-Hall software series Prentice-Hall software series.