Gobbay Don V <br/><br/>
Semantical investigations in heyting's instuitionistic logic. 

 - London  D Reidel Publishing       1981 
 - x,287p.  cm. 
 - Synthese library. .
<br/><br/><label>Standard No.: </label>44829 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>R14, M1