The mathematical works of Bernard Bolzano - Bolzano, Bernard, 1781-1848 (Oxford University Press, 2004)
Translated from the German.