Большой англо-русский словарь (с транскрипциями) EFFECTIVELY undecidable мат. эффективно неразрешимый