K. Wójtowicz, “Mathematical Proof – Argumentation or Derivation? – Part II”, ZFN, no. 49, pp. 81–97, Nov. 2011, doi: 10.59203/zfn.49.121.