Reinhard Kahle
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryAT
Axiomatic Thinking II
cover - Image source: Open LibraryAT
Axiomatic Thinking I
cover - Image source: Open LibraryV
Verantwortung
cover - Image source: Open LibraryAI
Advances in Proof Theory
cover - Image source: Open LibraryI
Intensionality
cover - Image source: Open LibraryI(
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
cover - Image source: Open LibraryPT
Proof theory in computer science
cover - LOLimits of AI - Theoretical, Pra...Reinhard Kahle
Limits of AI - Theoretical, Practical, Ethical
no cover - LOLegacy of Kurt SchütteReinhard Kahle
The Legacy of Kurt Schütte
no cover - GCGentzen's CentenaryReinhard Kahle
Gentzen's Centenary
no cover - CSComputer Science LogicReinhard Kahle
Computer Science Logic
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Axiomatic Thinking II
- Open Work
Axiomatic Thinking I
- Open Work
Verantwortung
- Open Work
Advances in Proof Theory
- Open Work
Intensionality
- Open Work
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
- Open Work
Proof theory in computer science
- Open Work
Limits of AI - Theoretical, Practical, Ethical
- Open Work
The Legacy of Kurt Schütte
- Open Work
Gentzen's Centenary
- Open Work
Computer Science Logic