Work by Bernard Bolzano (source code)

= Work by Bernard Bolzano