References
John Wigglesworth
with Antos, C. , Ternullo, C. , Friedman, S. , Barton, N. (2020). Introduction. Synthese 197 (2), pp. 469-475.
with Antos, C. , Barton, N. , Friedman, S. , Ternullo, C. (eds) (2020). Foundations of mathematics. Synthese 197 (2).