00963nam a22002297ar45000010005000000030005000050050017000100080041000270200015000680400021000830820017001041000020001212450088001412600040002293000016002695000020002855040046003055050305003516500030006566500016006867000031007023155UTEM20260921144607.0920709s1981    us            001 0 eng d  a0132734176  aclsautmcclsautm14a001.64bL6741 aLewis, Harry R.10aElements of the theory of computation /cHarry R. Lewis, Christos H. Papadimitriou.  aNew Jersey :bPrentice-Hall,c1981.  axiv, 466 p.  aIncludes index.  aReferences [bibliographical]: p. 457-458.0 aChapter 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. 4aCOMPUTADORES ELECTRONICOS 0aCOMPUTACION1 aPapadimitriou, Christos H.