2 Commits

Author	SHA1	Message	Date
Riccardo Azzolini	9ad277f986	Correzioni varie	2020-07-06 11:48:14 +02:00
Riccardo Azzolini	16c7af45f2	Suddivide argomenti logica proposizionale e del primo ordine	2020-05-25 11:16:39 +02:00