·           The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems weiterlesen