Language: English
Help
Login
Languages
Covers
Jump To : Overview | Titles | Subjects

Kahle, Reinhard.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
The Legacy of Kurt Schütte by: SpringerLink (Online service); Kahle, Reinhard.; Rathjen, Michael. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Advances in Proof Theory by: Kahle, Reinhard.; Studer, Thomas.; Strahm, Thomas.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Grenzen der KI – theoretisch, praktisch, ethisch by: Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Gentzen's centenary = the quest for consistency / by: Rathjen, Michael.; Kahle, Reinhard.; Gentzen, Gerhard.; SpringerLink (Online service) (Language materials, printed)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: SpringerLink (Online service); Kahle, Reinhard.; Gradel, Erich.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Advances in proof theory by: SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas.; Kahle, Reinhard. (Language materials, printed)
Axiomatic Thinking I by: SpringerLink (Online service); Sommaruga, Giovanni.; Ferreira, Fernando.; Kahle, Reinhard. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Gentzen's Centenary = The Quest for Consistency / by: SpringerLink (Online service); Kahle, Reinhard.; Rathjen, Michael. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Axiomatic Thinking II by: Kahle, Reinhard.; Ferreira, Fernando.; Sommaruga, Giovanni.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login