Sbornik rabot zarubezhnyx speczialistov, otrazhayushhij sovremennoe sostoyanie v novom napravlenii programmirovaniya, tesno svyazannom s matematicheskoj logikoj. Ehto napravlenie aktivno razvivaetsya kak v teoreticheskom, tak i v prakticheskom plane, vklyuchaya v sebya...