Lewis, Harry R. <br/><br/>
Elements of the theory of computation / 
Harry R. Lewis, Christos H. Papadimitriou. 
 - New Jersey :  Prentice-Hall,  1981. 
 - xiv, 466 p. 
<br/><br/> Includes index. 
<br/><br/>References [bibliographical]: p. 457-458. 
<br/><br/>Chapter 1. Sets, relations, and languages; Chapter 2. Finite automata; Chapter 3. Context-free languages; Chapter 4. Turing machines; Chapter 5. Church's thesis; Chapter 6. Uncomputability; Chapter 7. Computational complexity; Chapter 8. The propositional calculus; Chapter 9. The predicate calculus. 
<br/><br/><label>ISBN: </label>0132734176 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTADORES ELECTRONICOS<br/>COMPUTACION
<br/><br/><label>Dewey Class. No.: </label>001.64  / L674