Title: Computation theory and logic
Subjects: Machine theory, Computational complexity