Решение больших систем логических уравнений - Закревский, Аркадий Дмитриевич 1928-2014 (ОИРИ НАН Беларуси, 2009)