K. Wójtowicz, “The Notion of Mathematical Proof and the Problem of Explanation in Mathematics”, ZFN, no. 58, pp. 89–114, Jun. 2015, doi: 10.59203/zfn.58.9.