Helmut Schwichtenberg
Helmut Schwichtenberg
6 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Helmut Schwichtenberg מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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