Wójtowicz, K. Mathematical Proof – Argumentation or Derivation? – Part II. ZFN 2011, 81-97.