shikhalev.org

А нет ли такого языка программирования, который бы на алгебре множеств был построен?..