Riccardo Azzolini ae81a68ed2 Aggiunge $\phi$ mancante in definizione espansione di Herbrand		2020-06-12 14:55:54 +02:00
..
Primo ordine	Aggiunge $\phi$ mancante in definizione espansione di Herbrand	2020-06-12 14:55:54 +02:00
Proposizionale	Logica 2020-06-03	2020-06-08 19:36:44 +02:00