Introducción al intuicionismo - Heyting, A. (Estructura y función, 1976)