Title: Extending the Frontiers of Mathematics
Subjects: Proof theory, Mathematical analysis, Foundations, Symbolic and mathematical Logic