Heyting, A.  1898- <br/><br/>
Intuitionism :  an introduction / 
A. Heyting. 
 - 3rd rev. ed. 
 - Amsterdam :  North-Holland Publishing,  1971. 
 - 145 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
 - Studies in logic and the foundations of mathematics. .
<br/><br/>Includes bibliography : 127-141 and index 
<br/><br/><label>ISBN: </label>0720422396 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.