Proof methods for modal and intuitionistic logics by Melvin Fitting | Menrva Books | MenrvaBooks