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)