1 Commits

Author	SHA1	Message	Date
Riccardo Azzolini	16c7af45f2	Suddivide argomenti logica proposizionale e del primo ordine	2020-05-25 11:16:39 +02:00