Helmut Schwichtenberg
Helmut Schwichtenberg is Professor Emeritus of Mathematics at Ludwig-Maximilians-Universität, Munich, Germany. He is co-author of the monographs Basic Proof Theory (1996, 2000) and Proofs and Computations (2012).
Helmut Schwichtenberg is Professor Emeritus of Mathematics at Ludwig-Maximilians-Universität, Munich, Germany. He is co-author of the monographs Basic Proof Theory (1996, 2000) and Proofs and Computations (2012). See less
Helmut Schwichtenberg's Featured Books