Elements of the Theory of ComputationHarry Lewis, Christos H. Papadimitriou1. Sets, Relations, and Languages
2. Finite Automata
3. Context-Free Languages
4. Turing Machines
5. Church's Thesis
6. Uncomputability
7. Computational Complexity
8. The Propositional Calculus
9. The Predicate Calculus
€2,00