The Mathematical Works of Bernard Bolzano - Russ (Oxford University PressOxford University Press, 2023)