TY  - BOOK
AU  - Lewis,Harry R.
AU  - Papadimitriou,Christos H.
TI  - Elements of the theory of computation
SN  - 0132734176
U1  - 001.64 
PY  - 1981///
CY  - New Jersey
PB  - Prentice-Hall
KW  - COMPUTADORES ELECTRONICOS
KW  - COMPUTACION
N1  - Includes index; References [bibliographical]: p. 457-458; 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
ER  -