knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
GitHub repository with 27 stars and 25 forks.
Language: TeX
Topics: complexity, first-order-logic, german, teaching, teaching-materials, theoretical-computer-science, turing-machine