کتاب های Helmut Schwichtenberg

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg, 2018
Proofs and Computations
Helmut Schwichtenberg, Stanley S. Wainer, 2012
Handbook of Constructive Mathematics
Douglas Bridges (editor), Hajime Ishihara (editor), Michael Rathjen (editor), Helmut Schwichtenberg (editor), 2023