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