Books by Reinhard Kahle
Limits of AI - Theoretical, Pr
Limits of AI - Theoretical, Practical, Ethical
Axiomatic Thinking I
Axiomatic Thinking II
The Legacy of Kurt Schütte
The Legacy of Kurt Schütte
Advances in Proof Theory
Gentzen's Centenary
Gentzen's Centenary
Intensionality
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Proof theory in computer science