Linguistique de l’écrit

Revue internationale en libre accès

Revue | Auteurs

120620

Reinhard Kahle

Bibliographie 8

Articles

X

A proof-theoretic view of necessity

2006

Reinhard Kahle

Synthese 148/3

Open Access Link

Introduction

2006

Reinhard Kahle Peter Schroeder-Heister

Synthese 148/3

Open Access Link

Mathematical proof theory in the light of ordinal analysis

2002

Reinhard Kahle

Synthese 133/1-2

Open Access Link

Reflections on Frege and Hilbert

2005

Bernd BuldtVolker Halbach Reinhard Kahle

Synthese 147/1

Open Access Link

What is a proof?

2015

Reinhard Kahle

Axiomathes 25/1