Helmut Schwichtenberg

Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician.

Schwichtenberg studied mathematics from 1961 at the Free University of Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich (successor of Kurt Schütte).

Schwichtenberg deals with, among other things, proof theory, theory of computability, lambda calculus and applications of logic in computer science. He is a member of the Bavarian Academy of Sciences. Provided by Wikipedia

1
by Schwichtenberg, Helmut, Wainer, S. S.
Published 2012
Cambridge University Press

2
by Clote, Peter G
Published 2000
Springer-Verlag Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

3
Published 1995
Springer Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

4
Published 1997
Springer Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

5
Published 2002
Springer Netherlands
Other Authors: ...Schwichtenberg, Helmut...

6
Published 1999
Springer Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

7
Published 2000
Springer Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

8
Published 1993
Springer Berlin Heidelberg
Other Authors: ...Schwichtenberg, Helmut...

9
Published 2023
Cambridge University Press
Other Authors: ...Schwichtenberg, Helmut...