Stav dette: The mathematical works of Bernard Bolzano /