GitHub repository: mkroetzsch/TheoLog
Primary language: TeX
Created: 2017-04-05T07:26:40Z
Description: Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden