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