бескванторное исчисление

Большой англо-русский и русско-английский словарь