Books

Limits of AI - theoretical, practical, ethical Limits of AI - theoretical, practical, ethical
2024
Axiomatic Thinking I Axiomatic Thinking I
2022
Axiomatic Thinking II Axiomatic Thinking II
2022
Grenzen der KI – theoretisch, praktisch, ethisch Grenzen der KI – theoretisch, praktisch, ethisch
2022
Advances in Proof Theory Advances in Proof Theory
2016
Gentzen's Centenary Gentzen's Centenary
2015