Электронный каталог: Хаханян В. Х. - Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой