2,617
次編輯
「程式語言、邏輯學」修訂間的差異
跳至導覽
跳至搜尋
→邏輯學、型別理論
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 16： | 行 16： | ||
* 弗雷格(Frege)： | * 弗雷格(Frege)： | ||
** [[東大圖書《弗雷格》筆記]] | ** [[東大圖書《弗雷格》筆記]] | ||
** [[Translations from the Philosopical Writing of Gottlob Frege 筆記]] | ** <del>[[Translations from the Philosopical Writing of Gottlob Frege 筆記]]</del>（弗雷格的哲學著作英譯，中止撰寫） | ||
== 編譯器、直譯器 == | == 編譯器、直譯器 == | ||