Logic and proof techniques

Bachelor course, Uppsala University, 2024