Proof Methods for Modal and Intuitionistic Logics door Fitting, Melvin