Limits of AI - Theoretical, Practical, EthicalKlaus Mainzer, Reinhard Kahle · First published 2024Open the Tome
Axiomatic Thinking IFernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · First published 2021Open the Tome
Axiomatic Thinking IIFernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · First published 2021Open the Tome
Advances in Proof TheoryReinhard Kahle, Thomas Strahm, Thomas Studer · First published 2016Open the Tome
Proof theory in computer scienceReinhard Kahle, Peter Schroeder-Heister · First published 2001Open the Tome