karlstroetmann / logic Goto Github PK
View Code? Open in Web Editor NEWHier 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.
License: MIT License