Helmut Schwichtenberg
Helmut Schwichtenberg
6 books in the database
Books
Computer science logicHelmut Schwichtenberg
Computer science logic
Helmut Schwichtenberg · 2000
Logic of ComputationHelmut Schwichtenberg
Logic of Computation
Helmut Schwichtenberg · 1997
Proof and ComputationHelmut Schwichtenberg
Proof and Computation
Helmut Schwichtenberg · 2018
Proof and System-ReliabilityHelmut Schwichtenberg
Proof and System-Reliability
Helmut Schwichtenberg · 2012
Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg
Proofs and Computations (Perspectives in Logic)
Helmut Schwichtenberg · 2012
Proofs and ComputationsHelmut Schwichtenberg
Proofs and Computations
Helmut Schwichtenberg · 2012
Co-authored books and collections
Books that list Helmut Schwichtenberg among their authors but not as the lead author: co-written works, collections and compilations.
Computational logicUlrich Berger
Computational logic
Ulrich Berger · 1999
Handbook of Constructive MathematicsDouglas Bridges
Handbook of Constructive Mathematics
Douglas Bridges · 2023
Proof and Computation IIKlaus Mainzer
Proof and Computation II
Klaus Mainzer · 2021
Logic and Algebra of SpecificationFriedrich L Bauer
Logic and Algebra of Specification
Friedrich L Bauer · 1993