Library of the Kurt Gödel Research Center for Mathematical Logic at the University of Vienna
A-1090 Wien, Währinger Straße 25
+43-1-4277 50514
Öffnungszeiten
- Mo: 10.00–13.00 Uhr
- Di–Mi: 10.00–16.00 Uhr
- Do: 10.00–18.00 Uhr
- Außerhalb der genannten Zeiten und in der vorlesungsfreien Zeit: auf Anfrage
Bestand
Bände
(Suche)
- Zeitschriften:
- Annals of Pure and Applied Logic: 24–37, 38(2)–57(1), 57(3)–162, 1983–2011
zuvor: Annals of Mathematical Logic 1–23, 1970–82
- Archive for Mathematical Logic: 27–50, 1988–2011
zuvor: Archiv für mathematische Logik und Grundlagenforschung: 1–26, 1950–87
- Artificial Intelligence: 1–60(1), 1970–93
- Bulletin of the Section of Logic: seit 33, 2004
- Fundamenta Mathematicae: 52–56, 58, 59(1), 61–111, 1963–81
- Journal of Applied Non-Classical Logics: seit 1, 1991
- Journal of Logic, Language and Information: 1–20, 1992–2011
- Journal of Mathematical Logic: seit 1, 2001
- Journal of non-classical logic: 2(1), 3(1), 3(2), 5(1), 6(2), 7(1/2), 8(1), 8(2), 1983–91
- Journal of Philosophical Logic: 1–32, 1972–2003
- Logic and Analysis: seit 1, 2007
- Mathematical Logic Quarterly: seit 39, 1993
zuvor: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: 1–38, 1955–92
- Modern Logic: 1–7, 1990–97
- Notre Dame Journal of Formal Logic: seit 1, 1960
- Philosophia naturalis: 14–16(1), 16(3)–20(1), 20(3)–30, 1973–93
- Science of Computer Programming: 1, 3–23, 1981–94
- Studia Logica: 38–99, 1979–2011
- The Bulletin of Symbolic Logic: seit 1, 1995
- The Journal of Symbolic Logic: seit 1, 1936
- Theoretical Computer Science: 1–65(2), 65(4)–105, 1975–92
- The Review of Symbolic Logic: seit 1, 2008
Entlehnmöglichkeiten
Kontakt
Außerdem besitzt die
Fachbereichsbibliothek
Mathematik, Statistik, Informatik ein gut sortiertes Angebot an Logikliteratur.