Fitting, Melvin Chris. <br/><br/>
Proof methods for modal and intuitionistic logics/ 
Melvin Fitting. 
 - Dordrecht:  D. Reidel Publishing Company,  1983. 
 - viii,555 p.;   24 cm. 
 - Synthese library  v. 169. .
<br/><br/>Includes index and bibliography: p. 526-539. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Modality (Logic).<br/>Intuitionistic mathematics.