@article{bellomo_bolzano_nodate, title = {Bolzano on the {Reals} [ongoing]}, author = {Bellomo, Anna and Betti, Arianna}, }