justus-jonas / logik Goto Github PK
View Code? Open in Web Editor NEWThis project forked from karlstroetmann/logic
Hier finden Sie die Unterlagen zu meiner einführenden Informatik-Vorlesung, die sich im wesentlichen mit der Mengenlehre, der Logik und der Sprache SetlX beschäftigt.