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