Followed the book How to prove it by Daniel J. Velleman, second edition. This course was a short and fast introduction to mathematical logic and proof techniques. It covered basics in propositional logic, set theory and relations.
It was done on the first week, before the main courses of the semester started.
Here is the list of exercises with solutions.