Keith Devlin: Jazyk matematiky - Vašíček, Karel (Matematika–Fyzika–Informatika, 2017)