R
Reinhard Kahle
11 works on record
Works
Proof theory in computer science
Intensionality
The Legacy of Kurt Schütte
The Legacy of Kurt Schütte
Advances in Proof Theory
Axiomatic Thinking II
Axiomatic Thinking I
Verantwortung
Gentzen's Centenary
Gentzen's Centenary
Computer Science Logic
Computer Science Logic
Limits of AI - Theoretical, Practical, Ethical
Limits of AI - Theoretical, Practical, Ethical
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)