Bolzano and uniform continuity - Rusnock, Paul; Kerr-Lawson, Angus (2005)