Gentzen's Centenary : The Quest for Consistency

Published 2015

Advances in Proof Theory

Published 2016

Axiomatic Thinking II

Published 2022

Limits of AI - theoretical, practical, ethical

by Mainzer, Klaus, Kahle, Reinhard
Published 2024

Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Published 2009

The Legacy of Kurt Schütte

Published 2020

Axiomatic Thinking I

Published 2022