Paul Hertz' Systems of Propositions as a Proof-theoretical Conception of Logic. (Abstract soon to be announced)