Werner Mellis
Dr. rer. nat. Universität zu Köln 1980
Dissertation:
Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Ewald Burger
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 23337 for the advisor ID.