2 Commits

Author	SHA1	Message	Date
Riccardo Azzolini	ae81a68ed2	Aggiunge $\phi$ mancante in definizione espansione di Herbrand	2020-06-12 14:55:54 +02:00
Riccardo Azzolini	b1b1616f65	Logica 2020-06-08	2020-06-12 13:32:50 +02:00