Prof. Dr. Dr. Walter Hoering ✝
Arbeitsschwerpunkte
- Logik
- Didaktik der Logik (vgl. Kommentar WS 97/98 - Arbeitskreis Automatisches Beweisen und SMTUTOR)
- Philosophie der Mathematik
- Wissenschaftstheorie
Kurzvorstellung
Dokumente
Grabrede und Nachruf auf Prof. Hoering (von Prof. Heidelberger und Prof. Schroeder-Heister)