Helmut Schwichtenberg · 10 obras en el catálogoObrasComputer science logicComputational logicProofs and Computations (Perspectives in Logic)Logic of ComputationProof and ComputationPProofs and ComputationsProofs and ComputationsPProof and System-ReliabilityProof and System-ReliabilityHHandbook of Constructive MathematicsHandbook of Constructive MathematicsPProof and Computation IIProof and Computation IILLogic and Algebra of SpecificationLogic and Algebra of Specification
