Fitting, Melvin,  1942- <br/><br/>
Proof methods for modal and intuitionistic logics / 
Melvin Fitting 
 - Dordrecht :  D. Reidel Pub.,  c1983 
 - viii, 553 p. ;  22 cm. 
 - Synthese library ;  v. 169 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9027715734 :  Fl 150 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Modality (Logic)<br/>Intuitionistic mathematics
<br/><br/><label>Dewey Class. No.: </label>164