References
Jeremy Avigad
(2006). Mathematical method and proof. Synthese, 153 (1), 105-159. https://doi.org/10.1007/s11229-005-4064-5.
(2006). Mathematical method and proof. Synthese, 153 (1), 105-159. https://doi.org/10.1007/s11229-005-4064-5.