Title: Computation Theory and Logic
Subjects: Computational complexity