Catalogue > People > Profile

ProfilePublications

Helmut Schwichtenberg

1 Publications

Program extraction in constructive analysis

2009

Helmut Schwichtenberg

in: Logicism, intuitionism, and formalism, Berlin,

1 Publications