Index of /~sacerdot/logica/lucidi_vecchi

	Name	Last modified	Size	Description
	Parent Directory		-
	BASI_MATEMATICHE.txt	2019-09-26 08:58	585
	dispense di Logica 2006-07.pdf	2019-09-26 08:58	349K
	libro_open_logic.pdf	2019-09-26 08:59	2.6M
	logica1108/	2019-09-26 08:58	-
	logica20150130.txt	2019-09-26 08:58	493
	logica20160716.txt	2019-09-26 08:58	541
	logica20170113.txt	2019-09-26 08:58	821
	logica20170915.txt	2019-09-26 08:58	587
	logica20171030.txt	2019-09-26 08:58	578
	logica_20171106/	2019-09-26 08:58	-
	slides0.pdf	2019-09-26 08:58	245K
	slides1.pdf	2019-09-26 08:58	94K
	slides2_2017.pdf	2019-09-26 08:58	107K
	slides3.pdf	2019-09-26 08:58	86K
	slides4.pdf	2019-09-26 08:59	181K
	slides6.pdf	2019-09-26 08:58	98K
	slides7.pdf	2019-09-26 08:58	121K
	slides10.pdf	2019-09-26 08:59	141K
	slides14.pdf	2019-09-26 08:59	72K
	slides15_2017.pdf	2019-09-26 08:59	223K
	slides15nuove_2017.pdf	2019-09-26 08:59	142K
	slides17.pdf	2019-09-26 08:58	148K
	slides18.pdf	2019-09-26 08:58	152K
	slides19.pdf	2019-09-26 08:58	315K
	slides19_1718.txt	2019-09-26 08:58	244
	slides_matita.pdf	2019-09-26 08:59	129K
	slides_matita_structural_recursion.pdf	2019-09-26 08:58	78K
	slides_relations_functions.pdf	2019-09-26 08:58	219K
	slides_set_theory.pdf	2019-09-26 08:59	109K