词项逻辑

listen to the pronunciation of 词项逻辑
Китайский Язык - Английский Язык
categorical logic