Fitting Melvin <br/><br/>
Proof methods for model and intuitionistic logics 

 - Dordrecht  D. Reidel Pub. Co.     
 - vii, 555p  cm. 
<br/><br/><label>ISBN: </label>9027715734 (hbk) 
<br/><br/><label>Standard No.: </label>244230 
<br/><br/><label>Source: </label> Textbook 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PHILOSOPHY
<br/><br/><label>Dewey Class. No.: </label>R14, M3