Title: Logic, proof, and mathematical structures
Subjects: Proof theory, Symbolic and mathematical Logic