Repository | Directory | Profile

120620

References

Frege

Hilbert

Reinhard Kahle

Bibliography ⁸

Articles

What is a proof?

2015

Axiomathes 25/1

A proof-theoretic view of necessity

2006

Synthese 148/3

Open Access Link

2006

Reinhard Kahle Peter Schroeder-Heister

Synthese 148/3

Open Access Link

Reflections on Frege and Hilbert

2005

Bernd Buldt Volker Halbach Reinhard Kahle

Synthese 147/1

Open Access Link

Mathematical proof theory in the light of ordinal analysis

2002

Synthese 133/1-2

Open Access Link

Order by

Filter

Language

english/english

Period