Logo der Bayerischen Akademie der Wissenschaften

Mitglieder

Prof. Dr. Helmut Schwichtenberg

o. Professor für Mathematik

III
Informatik (Projektbeirat Mitglied)
LMU München
Beweistheorie; Lambda-Kalkül; Theorie der Berechenbarkeit
seit 1986