Mathematics, substance and surmise views on the meaning and ontology of mathematics - Davis, Ernest; Davis, Philip J. 1923-2018 (Springer, 2015)