Le pubblicazioni dell'autore sono raggiungibili sul catalogo IRIS tramite il seguente link
Reverse mathematics, Combinatorics, Computability Theory, Proof Theory.
Per ulteriori dettagli rimando alla mio sito personale.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma