Logic Documentation Center

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 Springer-Verlag. 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:
[Vol. I] Omega-Bibliography of Mathematical Logic.
Volume I: Classical Logic
Müller, Gert H. & Lenski, Wolfgang;
Rautenberg, Wolfgang (eds.)
Springer-Verlag Heidelberg, New York, 1987, XXXIX+485pp
 
	

[Vol. II] Omega-Bibliography of Mathematical Logic.
Volume II: Non-Classical Logics
Müller, Gert H. & Lenski, Wolfgang;
Rautenberg, Wolfgang (eds.)
Springer-Verlag Heidelberg, New York, 1987, XXXVII+469pp
 
	

[Vol. III] Omega-Bibliography of Mathematical Logic.
Volume III: Model Theory
Müller, Gert H. & Lenski, Wolfgang;
Ebbinghaus, Heinz-Dieter (eds.)
Springer-Verlag Heidelberg, New York, 1987, XLV+617pp
 
	

[Vol. IV] Omega-Bibliography of Mathematical Logic.
Volume IV: Recursion Theory
Müller, Gert H. & Lenski, Wolfgang;
Hinman, Peter G. (eds.)
Springer-Verlag Heidelberg, New York, 1987, XLV+697pp
 
	

[Vol. V] Omega-Bibliography of Mathematical Logic.
Volume V: Set Theory
Müller, Gert H. & Lenski, Wolfgang;
Blass, Andreas R. (eds.)
Springer-Verlag Heidelberg, New York, 1987, LI+791pp
 
	

[Vol. VI] Omega-Bibliography 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.)
Springer-Verlag Heidelberg, New York, 1987, XLI+405pp

 

The Omega-Bibliography of Mathematical Logic is out of print now. Springer-Verlag 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.