Traduzione di formule della logica predicativa del 1.o ordine nella versione algebrica della logica diadica
Completion requirements
PDF
Click g_predicate2mapRosettaStone.pdf link to view the file.