A Path into Rigorous Mathematics - Anthony Kay (Taylor and Francis, 2021)