Gabbay, Dov. M <br/><br/>
Semantical investigations in heyting's intuitionistic logic 

 - London  D. Reidel Pub. Com.  1981 
 - x,287,[7] p. 
<br/><br/><label>ISBN: </label>9027712026 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.2  / GAB