Mint︠s︡, G. E <br/><br/>
A short introduction to intuitionistic logic 

 - Deventer, The Netherlands ; Boston, MA:  Kluwer Academic / Plenum Publishers,  2000 
 - ix, 131 p. ; 24 cm 
<br/><br/><label>ISBN: </label>9780306463945 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics
<br/><br/><label>Dewey Class. No.: </label>511.22 MIN