H
Helmut Schwichtenberg
10 works on record
Works
Computer science logic
Computational logic
Proofs and Computations (Perspectives in Logic)
Logic of Computation
Proof and Computation
Proofs and Computations
Proofs and Computations
Proof and System-Reliability
Proof and System-Reliability
Handbook of Constructive Mathematics
Handbook of Constructive Mathematics
Proof and Computation II
Proof and Computation II
Logic and Algebra of Specification
Logic and Algebra of Specification