Mathematics as a Tool - Johannes Lenhard, Martin Carrier (Springer, 2017)