👤

Helmut Schwichtenberg

6 books

Books by Helmut Schwichtenberg

Handbook of Constructive Mathe
Handbook of Constructive Mathematics
2023
Proof and Computation II
Proof and Computation II
2021
Proof and Computation
Proof and Computation
2012
Proofs and Computations
Proofs and Computations
2012
Proofs and Computations (Perspectives in Logic)
Proofs and Computations (Perspectives in Logic)
2012
Proof and System-Reliability
Proof and System-Reliability
2002