Reinhard Kahle
Reinhard Kahle
7 books in the database
Books
Proof theory in computer scienceReinhard Kahle
Proof theory in computer science
Reinhard Kahle · 2001
Advances in Proof TheoryReinhard Kahle
Advances in Proof Theory
Reinhard Kahle · 2016
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)Reinhard Kahle
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Reinhard Kahle · 2005
IntensionalityReinhard Kahle
Intensionality
Reinhard Kahle · 2005
VerantwortungReinhard Kahle
Verantwortung
Reinhard Kahle · 2021
The Legacy of Kurt SchütteReinhard Kahle
The Legacy of Kurt Schütte
Reinhard Kahle · 2021
Gentzen's CentenaryReinhard Kahle
Gentzen's Centenary
Reinhard Kahle · 2015
Co-authored books and collections
Books that list Reinhard Kahle among their authors but not as the lead author: co-written works, collections and compilations.
Axiomatic Thinking IIFernando Ferreira
Axiomatic Thinking II
Fernando Ferreira · 2021
Axiomatic Thinking IFernando Ferreira
Axiomatic Thinking I
Fernando Ferreira · 2021
Limits of AI - Theoretical, Practical, EthicalKlaus Mainzer
Limits of AI - Theoretical, Practical, Ethical
Klaus Mainzer · 2024
Computer Science LogicErich Grädel
Computer Science Logic
Erich Grädel · 2009