英语 ⇄ 乌克兰语 俄语 德语 +

theory of types 强调
数学	теория типов

theory of types : 2 短语, 1 学科

数学

2