Title: Some upper and lower bounds on decision procedures in logic
Subjects: Computational complexity, Gödel's theorem, Turing machines