Saverio Cittadini
发表
Saverio Cittadini,
Carlo Toffalori,
2002,
Math. Log. Q..
Saverio Cittadini,
Fabio Bellissima,
1998,
Notre Dame J. Formal Log..
Saverio Cittadini,
Fabio Bellissima,
1999,
Stud Logica.
Saverio Cittadini,
Fabio Bellissima,
1997,
Math. Log. Q..
Saverio Cittadini,
Carlo Toffalori,
C. Toffalori,
2002,
Math. Log. Q..
Saverio Cittadini,
Fabio Bellissima,
1999,
Stud Logica.
Saverio Cittadini,
Wilfried Sieg,
W. Sieg,
2005,
Mechanizing Mathematical Reasoning.
Saverio Cittadini,
Carlo Toffalori,
C. Toffalori,
2006,
Arch. Math. Log..
Saverio Cittadini,
S. Cittadini,
1992
.