Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

126364

Michael Rathjen

Bibliographie 4

Artikeln

X

Theories and ordinals in proof theory

2006

Michael Rathjen

Synthese 148/3

Open Access Link

The constructive Hilbert program and the limits of Martin-Löf type theory

2005

Michael Rathjen

Synthese 147/1

Open Access Link