Lewis, Harry R. <br/><br/>
Elements of the theory of computation / 
Harry R. Lewis, Christos H. Papadimitriou. 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  c1981. 
 - xiv, 466 p. :  ill. ;  23 cm. 
 - Prentice-Hall software series. .
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0132734265 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Formal languages.<br/>Computational complexity.<br/>Logic, Symbolic and mathematical.