Heyting, A. <br/><br/>
Introducción al intuicionismo /  
A. Heyting ; [traducción por Víctor Sánchez Zavala]. 
 - Madrid :   Tecnos,   [1976] 
 - 150 p. ;   24 cm. 
 - Estructura y función .
 - Estructura y función .