Proof methods for modal and intuitionistic logics - Fitting, Melvin Chris (Dordrecht: D. Reidel Publishing Company, 1983)
Includes index and bibliography: p. 526-539.
Keywords: Proof theory; Modality (Logic).; Intuitionistic mathematics