Index of /~cialdea/teaching/logica/anniPrecedenti/2019-20/slides

	Name	Last modified	Size	Description
	Parent Directory		-
	0-introduzione.pdf	2021-02-05 16:16	34K
	3-verifica/	2021-02-05 16:16	-
	2-prolog/	2021-02-05 16:16	-
	1-logica/	2021-02-05 16:16	-