Repository | Directory | Profile

126363

References

Helmut Schwichtenberg

Program extraction in constructive analysis

2009

Helmut Schwichtenberg

in: Logicism, intuitionism, and formalism, Dordrecht : Springer

Open Access Link