Title: Computability, complexity, logic
Subjects: Computable functions, Computational complexity, Symbolic and mathematical Logic