Search results for: Saverio Cittadini
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 169-191
Archive for Mathematical Logic > 2006 > 45 > 1 > 75-95
Studia Logica > 1999 > 62 > 3 > 371-398
Studia Logica > 1999 > 62 > 2 > 121-140