preplogic/exercises/preplogic-exercises.aux, branch master Notes for the course "elementary logic" https://git.tronto.net/preplogic/atom?h=master 2020-09-06T16:04:41Z First commit 2020-09-06T16:04:41Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-06T16:04:41Z urn:sha1:4ca009f025a29351bcf1160cd68d513f04687713