Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations - Gómez Ramírez, Danny A. J. (Springer, 2020)