Reinhard Kahle profile picture

Reinhard Kahle

Proof Theory in Computer Science
Intensionality
Software Engineering and Formal Methods: SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
The Legacy of Kurt Schütte
Grenzen der KI – theoretisch, praktisch, ethisch
Limits of AI - theoretical, practical, ethical
Intensionality Lecture Notes in Logic 22
Gentzen's Centenary The Quest for Consistency
Advances in Proof Theory
Advances in Proof Theory
Axiomatic Thinking I
Axiomatic Thinking II
Intensionality Lecture Notes in Logic 22

See All