词项逻辑

listen to the pronunciation of 词项逻辑
Chinese - English
categorical logic