An Introduction to the Language of Mathematics - Mynard (Springer International Publishing, 2018)