Tre livelli di validità per la logica predicativa del prim'ordine -- Esempi
Aggregazione dei criteri
TXT
Per visualizzare il file, fai click su questo link: validitaNelCalcoloPredicativo.txt