Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Program extraction in constructive analysis
2009
Helmut Schwichtenberg
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
