詞項邏輯

listen to the pronunciation of 詞項邏輯
Chinese - English
categorical logic