形式演算

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