Founding Mathematics on Semantic Conventions - Casper Storm Hansen (Springer, 2021)