206 | TÄTIGKEITSBERICHTE

Daten erhält die Forschungsstelle vom Documentation Center jedoch unabhängig von
der nachgelagerten Produktion der gedruckten Fassung des Referateorgans Zhongguo
Shuxue Wenzhai, das sich auf die Datenbank des Documentation Center stützt. In der
Konsequenz enthalten die gelieferten Daten auch noch keine Referenzen zum
Zhongguo Shuxue Wenzhai, die in einem zweiten Schritt unter Mithilfe von Professor
Ding Decheng, Nanjing, nachgetragen werden. Darüber hinaus wurde unter dem
Aspekt der Bestandskontrolle mit Prof. Ding ein Programm zur Überprüfung der in
der Logik-Bibliographie enthaltenen Arbeiten auf Vollständigkeit bezüglich des
Zhongguo Shuxue Wenzhai gestartet.
Der Daten-Abgleich mit dem russischen Referateorgan Referativnyj Zhurnal
Matematika wurde aufgrund der Tatsache, dass handhabbare Indexverzeichnisse für
die neueren Bände nicht mehr zur Verfügung stehen, im Berichtsjahr deutlich
erschwert. Professor Nikolai Nagorny vom Rechenzentrum der Russischen Akademie der
Wissenschaften in Moskau, der mit der Forschungsstelle betreffend das Referativnyj
Zhurnal Matematika zusammen arbeitet, kann die bisher durch geführten Aufgaben
zukünftig nur noch mit deutlich größerem Aufwand betreiben. Da dies erhebliche
finanzielle Mehrbelastungen erforderte, wird die Forschungsstelle einen erneuten
Versuch unternehmen, eine Vereinbarung mit den Herausgebern zu erzielen - auch
in der Absicht, wie schon für das chinesische Zhongguo Shuxue Wenzhai zusätzlich
eine Bestandskontrolle vor zu nehmen.
Zusätzliche Aktivitäten über den eigentlichen Kern des Unternehmens hinaus
betrafen zunächst die Mitarbeit bei dem von der DFG geforderten Projekt zur
inhaltlichen Erschließung des Jahrbuchs über die Fortschritte der Mathematik
(1868—1942), bei dem die Forschungsstelle für die mathematische Logik zuständig
ist. Dieses befindet sich kurz vor dem Abschluss. Neben der elektronischen Erfassung
der bibliographischen Daten der im Jahrbuch verzeichneten Publikationen sollen im
Projekt ausgewählte, für die historische Entwicklung wegweisende Publikation
sowie die bedeutenden Zeitschriften insgesamt elektronisch erfasst und verfügbar
gemacht werden. Im Zuge der Bereitstellung weiterer inhaltlicher Daten durch das
Jahrbuch-Projekt wurde im Berichtsjahr auch die direkte Verfügbarkeit von inhalt-
lichen Publikationen durch die Logik-Bibliographie weiter ausgebaut. Die For-
schungsstelle wird die vom Jahrbuch-Projekt bereit gestellten Daten auch nach
Abschluss des Jahrbuch-Projekts aus ihren Beständen heraus zugänglich halten. Die
Archivierung der Daten hat dabei die Staats- und Universitäts-Bibliothek Göttingen
übernommen, die in Zusammenarbeit mit der Forschungsstelle zusätzlich beabsich-
tigt, den gesamten Bereich der mathematischen Logik elektronisch zu erfassen. Im
Ergebnis soll damit eine vollständige digitale Bibliothek der Entstehungsgeschichte
der mathematischen Logik erzeugt werden, die in den Auskunftsdienst der Logik-
Bibliographie eingebunden ist.
Verstärktes Augenmerk wurde im Berichtsjahr auch auf die on-line im WWW
verfügbaren inhaltlichen Angebote gerichtet mit der Perspektive einer virtuellen
digitalen Bibliothek zur mathematischen Logik. Die Verknüpfung mit der Daten-
bank aus dem Jahrbuch-Projekt ermöglicht bereits Zugriff auf einen Teil der älteren
Bestände. Em Zugriff auf die von den Rechte-Inhabern freigegebene neuere Litera-