Heyting published a paper on intuitionistic algebra in 1941 and intuitionistic Hilbert spaces in the 1950's.
Heyting-publish ng isang papel sa intuitionistic algebra sa 1941 at intuitionistic Hilbert espasyo sa 1950's.