The Mathematical Logic Project
History
The Bibliography of Mathematical Logic grew out of the Mathematical
Logic project which was initiated by the Ωgroup (Robin
O.Gandy, Hans
Hermes, Azriel Levy, Gert H. Müller, Gerald E. Sacks, Dana S. Scott) to give a
comprehensive view of the still young but rapidly developing area
of Mathematical Logic. From 1969 till 1974 it was supported by the
VolkswagenStiftung.
In 1974 it was taken over by the
Heidelberger Akademie der Wissenschaften
as part of its scientific program under the direction of Gert H.
Müller.
This project had two main objectives: on the one hand, to cover the
area of Mathematical Logic by advanced monographies and on the
other hand, to take these monographs as a basis and develop a
complete documentation of Mathematical Logic, starting from
Frege′s Begriffsschrift in 1879.
The first aim led to the Perspectives in Mathematical Logic
Monographs Series which was initially published by SpringerVerlag. The
series is now being continued
by the Association
for Symbolic Logic in conjunction with Cambridge University Press.
The second aim resulted in the publication of the ΩBibliography of
Mathematical Logic and finally led to the
independent program with the objective to establish and maintain the Bibliography of Mathematical Logic.
In 1989 the Forschungsstelle Mathematische Logik of the
Heidelberger Akademie der Wissenschaften
moved to the University
of Kaiserslautern and continued its work under the direction of Michael M. Richter und
Wolfgang Lenski.
The Bibliography
Since 2005 the Bibliography is maintained by the
Documentation Center for Logic at the
Department
of Philosophy of
the
University of
Kaiserslautern with Wolfgang
Neuser and Wolfgang Lenski being the managing editors.
The project maintains complete structured documentation of the
literature on Mathematical Logic dating from its beginnings as a
recognized mathematical discipline.
The project is based on a database of about 100,000 bibliographical
references mainly covering General Logic, Model Theory, Recursion
Theory, Set Theory, Proof Theory, Constructive Mathematics, and
Logic in Computer Science. In addition, areas closely related to mathematical
logic are considered as well.
Documentation
A printed version of the Bibliography was issued in 1987:

OmegaBibliography of Mathematical Logic.
Volume I: Classical Logic
Müller, Gert H. & Lenski, Wolfgang;
Rautenberg, Wolfgang (eds.)
SpringerVerlag Heidelberg, New York, 1987, XXXIX+485pp

OmegaBibliography of Mathematical Logic.
Volume II: NonClassical Logics
Müller, Gert H. & Lenski, Wolfgang;
Rautenberg, Wolfgang (eds.)
SpringerVerlag Heidelberg, New York, 1987, XXXVII+469pp

OmegaBibliography of Mathematical Logic.
Volume III: Model Theory
Müller, Gert H. & Lenski, Wolfgang;
Ebbinghaus, HeinzDieter (eds.)
SpringerVerlag Heidelberg, New York, 1987, XLV+617pp

OmegaBibliography of Mathematical Logic.
Volume IV: Recursion Theory
Müller, Gert H. & Lenski, Wolfgang;
Hinman, Peter G. (eds.)
SpringerVerlag Heidelberg, New York, 1987, XLV+697pp

OmegaBibliography of Mathematical Logic.
Volume V: Set Theory
Müller, Gert H. & Lenski, Wolfgang;
Blass, Andreas R. (eds.)
SpringerVerlag Heidelberg, New York, 1987, LI+791pp

OmegaBibliography of Mathematical Logic.
Volume VI: Proof Theory, Constructive Mathematics
Müller, Gert H. & Lenski, Wolfgang;
Kister, Jane E. & van Dalen, Dirk & Troelstra, Anne S. (eds.)
SpringerVerlag Heidelberg, New York, 1987, XLI+405pp
The OmegaBibliography of Mathematical Logic is out of print now.
SpringerVerlag has finally decided not to keep it in stock any longer.
However, a freely accessible
electronic version
of the
Bibliography is available on this server.
The remaining volumes of the
Bibliography have been overtaken by the
Association for Symbolic Logic
and are still offered to the scientific community for a reduced price.
Please addrees any questions concerning the printed version of the
Bibliography to the Association for
Symbolic Logic.