Bolzano's Mathematical Infinite. - Anna Bellomo; Guillaume Massas (Rev. Symb. Log., 2023)