Deutsche Gesellschaftfür phänomenologische Forschung
Repository | Serials | | Bände
The constructive Hilbert program and the limits of Martin-Löf type theory
Michael Rathjen
Theories and ordinals in proof theory
Band
Title
Autor
