詞項邏輯

listen to the pronunciation of 詞項邏輯
Çince - İngilizce
categorical logic