Handbook of Constructive MathematicsDouglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg · First published 2023Open the Tome
Proof and Computation IIKlaus Mainzer, Peter Schuster, Helmut Schwichtenberg · First published 2021Open the Tome
Proof and System-ReliabilityHelmut Schwichtenberg, Ralf Steinbrüggen · First published 2012Open the Tome
Computational logicUlrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss · First published 1999Open the Tome
Logic and Algebra of SpecificationFriedrich L Bauer, Wilfried Brauer, Helmut Schwichtenberg · First published 1993Open the Tome
Die Wirtschaftlichen voraussetzungen und methoden der Erzeugungsschlacht ...Helmut Schwichtenberg · First published 1937Open the Tome
