The example logics of this course are available in the esslli2019 branch of the LATIN2 archive.
You should start with the files in the folder source/introductory_example, specifically the file pl.mmt.
Overview
- Monday: propositional logic following introductory_examples/pl.mmt
- Tuesday: finish propositional logic, then first-order logic following introductory_examples/sfol.mmt