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)

Gentzen's centenarythe quest for consistency / by: Gentzen, Gerhard.; Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service) (Electronic resources)

Advances in proof theory by: Kahle, Reinhard.; SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas. (Electronic resources)

Axiomatic thinking.I by: Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service) (Electronic resources)

The legacy of Kurt Schutte by: Kahle, Reinhard.; Rathjen, Michael.; Schutte, K.; SpringerLink (Online service) (Electronic resources)

Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / by: (1998 :); Kahle, Reinhard.; Schroeder-Heister, Peter.; SpringerLink (Online service); Stark, Robert. (Electronic resources)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (1998 :); Gradel, Erich.; Kahle, Reinhard.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Logic. Mathematics of Computing. Logics and Meanings of Programs. Automatic theorem proving Mathematicians Computer logic Mathematics. History of Mathematical Sciences. Coding and Information Theory. Schutte, K. Hilbert, David, Proof theory. Computer Science. Proof theory Axioms. Philosophy of Mathematics. Symbolic and Algebraic Manipulation. Gentzen, Gerhard.