Seol mar théacs é seo: The mathematical works of Bernard Bolzano /