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