ГОСТНОРМ

ГОСТ Р 59791-2021Информационные технологии. Общая логика (CL). Основы семейства языков, основанных на логике