Полный англо-русский словарь
Лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)