詞項邏輯

listen to the pronunciation of 詞項邏輯
Китайский Язык - Английский Язык
categorical logic