程式語言、邏輯學
於 2021年11月7日 (日) 20:30 由 Tankianting（討論 | 貢獻） 所做的修訂 （建立內容為「* 形式邏輯筆記 (Note of ''Forall X'') * 型別理論與形式證明筆記 (Note of ''Type Theory and Formal Proof:…」的新頁面）
- 形式邏輯筆記 (Note of Forall X)
- 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)