LEONARDO MAINARDI

Dottorando

ciclo: XXXV
email:




co-supervisore: Prof. Lorenzo Carlucci

Produzione scientifica

11573/1351100 - 2019 - A note on the ordinal analysis of RCA0 + WO(σ)
Carlucci, Lorenzo; Mainardi, Leonardo; Rathjen, Michael - 04b Atto di convegno in volume
congresso: Computability in Europe 2019 (Durham; United Kingdom)
libro: Proceedings of Computability in Europe 2019: Computing with Foresight and Industry - (978-3-030-22995-5; 978-3-030-22996-2)

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma