Reinhard Kahle
· 11 obras en el catálogo
Obras

Proof theory in computer science

Intensionality
The Legacy of Kurt Schütte

Advances in Proof Theory

Axiomatic Thinking I

Axiomatic Thinking II

Verantwortung
Computer Science Logic
Gentzen's Centenary
Limits of AI - Theoretical, Practical, Ethical
