Search
The constructive Hilbert program and the limits of Martin-Löf type theory
Vol. 147/1
Michael Rathjen
Theories and ordinals in proof theory
Vol. 148/3
Volume
Title
Author