Title: Mathematical analysis and proof
Subjects: Proof theory, Mathematical analysis