Title: Mathematisch-strukturelle Grundlagen der Informatik
Subjects: Mengenlehre, Kategorientheorie, Algebraische Spezifikation, Aussagenlogik, Prädikatenlogik