nLab Helmut Schwichtenberg

• personal page

• Wikipedia entry

Selected writings

On proof theory with emphasis on natural deduction and sequent calculi:

• Anne Sjerp Troelstra, Helmut Schwichtenberg, Basic Proof Theory , Cambridge University Press (2000, 2012) [doi:10.1017/CBO9781139168717]

On constructive analysis:

• Helmut Schwichtenberg, Constructive analysis with witnesses (2013) [pdf, pdf]

• Helmut Schwichtenberg, Program Extraction in Constructive Analysis, in Logicism, Intuitionism, and Formalism, Synthese Library, 341 Springer (2009) [doi:10.1007/978-1-4020-8926-8_13]

category: people