18.

Akademie der Wissenschaften Logik-Bibliographie

Gert-Heinz Müller

Karlsplatz — Univ.-Platz

1974 wurde die Logik-Bibliographie unter der Federführung von Gert-Heinz Müller (1923-2006) in die Projekte der Akademie aufgenommen. 1987 erschien die Bibliographie der gesamten mathematischen Logik im Druck. Bereits in den Anfangsjahren war klar, dass diese Bibliographie nur mit Hilfe einer Datenbank verwaltet werden konnte. Die EDV-Unterstützung leistete der unvergessene Kollege Ulrich Burkhardt am Univ.-Rechenzentrum von 1979 bis zu seinem allzu frühen Tod 1983.

1989 wanderte die Logikforschungsstelle von Heidelberg nach Kaiserslautern. Seit 2005 ist sie am Documentation Center for Logic der Universität Kaiserslautern beheimatet.

Letzte Änderung: Oktober 2017     Gabriele Dörflinger   Kontakt

Zur Inhaltsübersicht     Historia Mathematica Heidelbergensis     Homo Heidelbergensis