"Advances in Proof Theory" ist ein Fachbuch, das sich mit den neuesten Entwicklungen in der Beweistheorie, Konstruktivität und Berechnung beschäftigt. Es vereint originale Beiträge führender Spezialisten auf diesem Gebiet und beleuchtet aktuelle Trends sowie Ergebnisse. Ein besonderer Fokus liegt auf Themen wie Ordinalanalyse, reduktive Beweistheorie, explizite Mathematik und typentheoretische Formalismen. Das Buch ist eine Hommage an Professor Gerhard Jäger, der massgeblich zur Förderung der Logik in der Schweiz beigetragen hat. Die Beiträge stammen von einem Symposium, das 2013 in Bern stattfand, und reflektieren die bedeutende Rolle der Beweistheorie in der mathematischen und philosophischen Logik. Diese Disziplin, die in den 1920er Jahren von David Hilbert ins Leben gerufen wurde, hat sich zu einem wichtigen Bestandteil der Grundlagen der Mathematik entwickelt und ist besonders relevant für Fragestellungen in der Informatik.