Artificial Mathematical Intelligence: Cognitive, (Meta)mathematical, Physical and Philosophical Foundations - Gómez Ramírez (Springer International Publishing, 2020)