Here is the synopsis:

Proof of "Axioms" of Propositional Logic:
Synopsis.
Willem F. Esterhuyse....