D.D. n. 3703/2025
Attività da svolgere: “Researches on contentpreserving proofs. The topic requires experHse in proof-theory, nonclassical logics, refutaHon calculi, abducHve reasoning”, nell'ambito del progetto PRIN: Proof and Understanding in MathemaHcs. (PUMA).
Tutte le informazioni sono presenti in allegato.