Title: Bounded arithmetic
Subjects: Computational complexity, Constructive mathematics, Computable functions, Recursive functions, Symbolic and mathematical Logic, Definability theory (Mathematical logic), Proof theory, Arithmetic, problems, exercises, etc., Computer science, mathematics