2,619
次編輯
Tankianting(討論 | 貢獻) (→12) |
Tankianting(討論 | 貢獻) |
||
行 2: | 行 2: | ||
{{Nav|程式語言、邏輯學|Translations from the Philosopical Writing of Gottlob Frege 筆記}} | {{Nav|程式語言、邏輯學|Translations from the Philosopical Writing of Gottlob Frege 筆記}} | ||
==1== | ==1== | ||
註:概念文字 Begriffsschrift,是講形式邏輯的知名作品,首次出版於1879年。LaTeX有[https://ctan.org/pkg/frege frege套件],打出其標記法。 | |||
分成兩個部分: | 分成兩個部分: |