- Institut für Formale Logik der Universität Wien - Grundlagen der Matehematik, insbesondere mathematische Logik und Mengentheorie.
- Institut für Mathematische Logik und Grundlagen der Mathematik der Universität Freiburg - Bietet Informationen zu Forschung und Lehre, Hinweise auf Vorlesungsreihen und Veranstaltungskalender, Publikationen und Links.
- Institut für Mathematische Logik und Grundlagenforschung der Universität Münster - Informationen zu Forschung und Lehre werden ergänzt durch aktuelle Veranstaltungshinweise, außerdem gibt es Veröffentlichungen und Skripte.
