Heyting, A. La fundamentación Intuicionista De La matemática. Metatheo 2020, 10, 73-78.