Helmut Schwichtenberg

Books by Helmut Schwichtenberg

Total count: 9

• Logic and Algebra of Specification

  Island Press1993-01-01
• Proof and Computation

  Island Press1995-01-01
• Logic of Computation

  Island Press1997-01-01
• Proofs and Computations

  Cambridge University Press2011-01-01
• Proof and System-Reliability

  Springer2012-01-01
• Computational Logic

  Springer London, Limited2012-01-01
• 
  Proofs and Computations (Perspectives in Logic)

  Cambridge University Press2012-01-16
• Proof and Computation IIFrom Proof Theory and Univalent Mathematics to Program Extraction and Verification

  World Scientific Publishing Co Pte Ltd2021-01-01
• Handbook of Constructive Mathematics

  Cambridge University Press2023-01-01