Publication details
Year: 2020
Pages: 497-544
Series: Synthese
Full citation:
, "Reverse formalism 16", Synthese 197 (2), 2020, pp. 497-544.
Reverse formalism 16
pp. 497-544
in: Carolin Antos, Neil Barton, Sy D. Friedman, Claudio Ternullo, John Wigglesworth (eds), Foundations of mathematics, Synthese 197 (2), 2020.Publication details
Year: 2020
Pages: 497-544
Series: Synthese
Full citation:
, "Reverse formalism 16", Synthese 197 (2), 2020, pp. 497-544.