GLoIn-Zusatzübung

Inhalt der GLoIn-Zusatzübung ist es, die wichtigsten Themen aus Grundlagen der Logik in der Informatik zu wiederholen und zu vertiefen.