@article{bellomo_bolzanos_0-2, title = {On {Bolzano}'s {Real} {Numbers} [ongoing]}, author = {Bellomo, Anna and Betti, Arianna}, year = {0}, note = {In preparation.}, }