TY  - BOOK
AU  - Lewis,Harry R.
AU  - Papadimitriou,Christos H.
TI  - Elements of the Theory of Computation
SN  - 132734176
PY  - 1981///
PB  - Prentice Hall
N2  - This text introduces the classical and contemporary theory of computation.  Preface, Sets and Relations and Languages, Finite Automata, Context-Free Languages, Turing Machines, Church's Thesis, Uncomputability, Computational Complexity, The Propositional Calculus, The Predicate Calculus, Index
ER  -