Elements of the Theory of Computation 

 -  Prentice Hall,  1981 
 - 468 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>132734176