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