Due esercizi sui linguaggi predicativi del 1.o ordine
Completion requirements
PDF
Click 6_esPredicativaLucidi2019.pdf link to view the file.