Wójtowicz, K. 2015. The Notion of Mathematical Proof and the Problem of Explanation in Mathematics. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce). 58 (Jun. 2015), 89–114.