K. Wójtowicz, “Mathematical Proof – Argumentation or Derivation? – Part I”, ZFN, no. 49, pp. 63–80, Nov. 2011.