Im Proseminar zur Mathematischen Logik 1 wird der selbständige Umgang mit dem Stoff Vorlesung Mathematische Logik 1 geübt. Diese Lehrveranstaltung nimmt am eLearning-Programm der Universität Wien teil.