Tankianting
→定敘述(definite description)
22:55
+13
→4.4翻譯成量化邏輯
16:54
+1,219
無編輯摘要
16:33
+1,990
15:53
+1,223
建立內容為「Ch4 量化邏輯 有時稱爲謂詞邏輯 (predicate logic)，」的新頁面
01:59
+63