Book

Proof methods for modal and intuitionistic logics

by Melvin Fitting