Title: Logical Foundations of Mathematics and Computational Complexity
Subjects: Mathematics, philosophy, Logic, symbolic and mathematical, Computational complexity