preplogic/slides, branch master Notes for the course "elementary logic" https://git.tronto.net/preplogic/atom?h=master 2021-09-06T08:29:24Z Changed date, solutions hidden 2021-09-06T08:29:24Z Sebastiano Tronto sebastiano.tronto@gmail.com 2021-09-06T08:29:24Z urn:sha1:502379c0540d55f1ca5341b69f89c68994a22f02 Fixed small typo 2020-09-11T09:13:07Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-11T09:13:07Z urn:sha1:df336d01e6a3468b00c0c45b7867ac2a0936fea9 Minor fixes 2020-09-08T06:41:13Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-08T06:41:13Z urn:sha1:a911f938427ec88618b6b1507ac3929616c770f7 Added exercises and some pages to the slides 2020-09-06T17:29:27Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-06T17:29:27Z urn:sha1:7862d4e51530dc1d97fb20b63060d017f04b6a24 Updates, added README 2020-09-06T16:28:58Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-06T16:28:58Z urn:sha1:f0e201749eff213a0d9a9d3d5be6352dbaa38e26 First commit 2020-09-06T16:04:41Z Sebastiano Tronto sebastiano.tronto@gmail.com 2020-09-06T16:04:41Z urn:sha1:4ca009f025a29351bcf1160cd68d513f04687713