PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS - Fitting,Melvin (D. Reidel, Dordrecht, 1983)
Keywords: Proof Theory; Modality (Logics); Intuitionistic Mathematics