preplogic - Notes for the course "elementary logic"

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added notes by Jean-Marc Schlenker	Sebastiano Tronto	2021-09-09	2	-1/+0
\|
*	Solutions hidden	Sebastiano Tronto	2021-09-09	7	-743/+0
\|
*	Changed date, solutions hidden	Sebastiano Tronto	2021-09-06	15	-1263/+918
\|
*	Fixed small typo	Sebastiano Tronto	2020-09-11	1	-3/+5
\|
*	Fixed small typo	Sebastiano Tronto	2020-09-11	6	-15/+15
\|
*	Added solutions	Sebastiano Tronto	2020-09-11	1	-0/+0
\|
*	Added solutions	Sebastiano Tronto	2020-09-11	7	-0/+1022
\|
*	added slides to main folder	Sebastiano Tronto	2020-09-08	1	-0/+0
\|
*	Minor fixes	Sebastiano Tronto	2020-09-08	9	-1161/+1489
\|
*	Copied pdfs in the main folder	Sebastiano Tronto	2020-09-06	3	-4/+4
\|
*	Added exercises and some pages to the slides	Sebastiano Tronto	2020-09-06	16	-137/+267
\|
*	Updates, added README	Sebastiano Tronto	2020-09-06	1	-1/+1
\|
*	Updates, added README	Sebastiano Tronto	2020-09-06	11	-299/+297
\|
*	First commit	Sebastiano Tronto	2020-09-06	20	-0/+3099