Bernard Bolzano : his life and work - Rusnock, Paul (Oxford University Press, 2019)