Basic language of mathematics - Schaffer, Juan Jorge (World Scientific, 2014)