Heyting A. <br/><br/>
Intuitionism An Introduction 
/ by A.Heyting 
 - London  Noth-Holland Publishing  1956 
 - 145p.