Definitely the most mathy cs course till this point in a cs degree.

Focuses on formal logic and doing math with it. If you would prefer math to be more abstract, this is the course for you. The content in this course is not directly programming, but it does a good job of teaching you how to think in a provably logical way.

Prof James was great, although the lectures were recorded by Dr. Petty. Prof James was very available on the discord for the class, and would go to great lengths to explain any problems as long as it was not the night before an assignment was due.

Make sure you actually take notes, and don't be afraid to ask clarifying questions.