黎明的學習日記
我的個人發展紀錄：「靈性、社交、體能、智能」
顯示具有
Language Proof and Logic
標籤的文章。
顯示所有文章
顯示具有
Language Proof and Logic
標籤的文章。
顯示所有文章
2021年11月13日 星期六
LPL software manual 3 Using Tarski's World 閱讀完畢
2021年11月12日 星期五
LPL online course
LPL (Language, Proof, and Logic) 軟體安裝完成
2021年8月24日 星期二
Language Proof and Logic 啟用
較舊的文章
首頁
訂閱：
文章 (Atom)
