Due esercizi sulla logica predicativa del prim'ordine
Completion requirements
PDF
Click 9e_esPredicativaLucidi2021.pdf link to view the file.