Gómez Ramírez, Danny A. J. Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations Cham, Switzerland : Springer, 2020. xxi, 259 p. QA76.9M35 G635