Kurt Gödel Research Center

Library

The KGRC is home to an excellent library on the subject of logic consisting of more than 5200 books (for details, see book counts) and many journals.

General information

Our library is a reference library (no loan). For further information you can contact the librarian. The departmental library for mathematics, statistics and computer science also has a good selection of logic literature.

Librarian

Dr. Peter Telec (info@logic.univie.ac.at), phone: +43-1-4277 50514.

Opening hours during the semester

Outside the regular opening hours and during university holidays (vorlesungsfreie Zeit) the library can be accessed by appointment.

Search the catalog

• Library search (works at the KGRC or when a mailbox password is provided)
• A more detailed search mask.
• Catalogs for other libraries (in German): Bibliothekskataloge

Holdings

The library holds volumes as well as the following journals:

1. Annals of Pure and Applied Logic: 24–37, 38(2)–57(1), 57(3)–162, 1983–2011
   continuation of: Annals of Mathematical Logic 1–23, 1970–82.
2. Archive for Mathematical Logic: 27–50, 1988–2011
   continuation of: Archiv für mathematische Logik und Grundlagenforschung: 1–26, 1950–87.
3. Artificial Intelligence: 1–60(1), 1970–93.
4. Bulletin of the Section of Logic: since 33, 2004.
5. Fundamenta Mathematicae: 52–56, 58, 59(1), 61–111, 1963–81.
6. Journal of Applied Non-Classical Logics: since 1, 1991.
7. Journal of Logic, Language and Information: 1–20, 1992–2011.
8. Journal of Mathematical Logic: since 1, 2001.
9. Journal of non-classical logic: 2(1), 3(1), 3(2), 5(1), 6(2), 7(1/2), 8(1), 8(2), 1983–91.
10. Journal of Philosophical Logic: 1–32, 1972–2003.
11. Logic and Analysis: since 1, 2007.
12. Mathematical Logic Quarterly: since 39, 1993.
    continuation of: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: 1–38, 1955–92.
13. Modern Logic: 1–7, 1990–97.
14. Notre Dame Journal of Formal Logic: since 1, 1960.
15. Philosophia naturalis: 14–16(1), 16(3)–20(1), 20(3)–30, 1973–93.
16. Science of Computer Programming: 1, 3–23, 1981–94.
17. Studia Logica: 38–99, 1979–2011.
18. The Bulletin of Symbolic Logic: since 1, 1995.
19. The Journal of Symbolic Logic: since 1, 1936.
20. Theoretical Computer Science: 1–65(2), 65(4)–105, 1975–92.
21. The Review of Symbolic Logic: since 1, 2008.

For online journals subscribed by the University of Vienna, go to http://bibliothek.univie.ac.at/eressourcen.html and click "Elektronische Zeitschriftenbibliothek (EZB)."