詞項邏輯

listen to the pronunciation of 詞項邏輯
Chinesisch - Englisch
categorical logic