Большой англо-русский словарь (с транскрипциями) LOGIC-MATHEMATICAL calculus мат. логико-математичес-кое исчисление