Kahle, Reinhard.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Axiomatic thinking.II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Gentzen's centenarythe quest for consistency /
by:
Gentzen, Gerhard.; Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
(書目-電子資源)
Advances in proof theory
by:
Kahle, Reinhard.; SpringerLink (Online service); Strahm, Thomas.; Studer, Thomas.
(書目-電子資源)
Axiomatic thinking.I
by:
Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
The legacy of Kurt Schutte
by:
Kahle, Reinhard.; Rathjen, Michael.; Schutte, K.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
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)
(書目-電子資源)
主題
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.