Хаханян, В. 2004. Теория множеств с интуиционистской логикой: базисная система. Логические исследования. 11, (ноя. 2004), 278-281. DOI:https://doi.org/10.21146/2074-1472-2004-11-0-278-281.