STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Reinhard Kahle | lit.salon
Reinhard Kahle
No bio available.
Add one in Open Library.
Books by Reinhard Kahle (50 max)
+ shelf
+ list
Intensionality
2005
Reinhard Kahle
+ shelf
+ list
Advances in Proof Theory
2016
Reinhard Kahle, Thomas Strahm, Thomas Studer
+ shelf
+ list
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
2001
Reinhard Kahle, Peter Schroeder-Heister
+ shelf
+ list
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
2005
Reinhard Kahle
+ shelf
+ list
Gentzen's Centenary: The Quest for Consistency
2015
Reinhard Kahle, Michael Rathjen
+ shelf
+ list
Legacy of Kurt Schütte
2020
Reinhard Kahle, Michael Rathjen
+ shelf
+ list
Axiomatic Thinking II
2021
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
+ shelf
+ list
Axiomatic Thinking I
2021
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
+ shelf
+ list
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
2009
Erich Grädel, Reinhard Kahle
+ shelf
+ list
Verantwortung Ein Begriff in Seiner Aktualität
2021
Reinhard Kahle, Niels Weidtmann
+ shelf
+ list
Limits of AI - Theoretical, Practical, Ethical
2024
Klaus Mainzer, Reinhard Kahle
