This class was tough.
It's tough but helps t=you better understand what goes on in the background
Propositional logic was fun, predicate logic was decent, and Curry-Howard isomorphism was incredibly terrible.
Hours per week:
Advice for students:
Don't procrastinate on the assignments.