Languages
Kahle, Reinhard.
Overview
Works: | 1 works in 5 publications in 1 languages |
---|
Titles
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
The legacy of Kurt Schutte
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(Electronic resources)
Advances in proof theory
by:
Kahle, Reinhard.; Strahm, Thomas.; Studer, Thomas.; SpringerLink (Online service)
(Electronic resources)
Proof theory in computer science = international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
by:
Kahle, Reinhard.; Schroeder-Heister, Peter.; Stark, Robert.; SpringerLink (Online service); PTCS 2001 ((2001 :)
(Language materials, printed)
Axiomatic thinking.. I
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Gentzen's centenary = the quest for consistency /
by:
Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(Electronic resources)