Mathematical Works of Bernard Bolzano