Notes and exercises for the course "Elementary Logic" (University of Luxembourg, PrepCamp 2020)
Primary LanguageTeX