Notes for the course "elementary logic"
git clone
Download | Log | Files | Refs | README

Elementary logic

Here you can find the slides and the exercises for the course “Elementary Logic” (University of Luxembourg, PrepCamp 2020).

The files preplogic-slides.pdf, preplogic-exercises.pdf and preplogic-solutions.pdf contain the slides, exercises and solutions for the exercises, respectively.

The folders slides, and exercises and solutions contain the source .tex files.