GitHub repository: karlstroetmann/Logic
Primary language: TeX
Description: Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst.  Die Beispiele sind in der Sprache Python implementiert.