5 works on record
Logical frameworks for truth and abstraction
1996
Proprietà e operazioni
1983
Logic and Foundations of Mathematics
One Hundred Years of Russell´s Paradox
I fondamenti della matematica