2 Commits

Author	SHA1	Message	Date
Riccardo Azzolini	d3cf285125	Correzioni varie	2020-07-04 11:22:56 +02:00
Riccardo Azzolini	16c7af45f2	Suddivide argomenti logica proposizionale e del primo ordine	2020-05-25 11:16:39 +02:00