程式語言、邏輯學

於 2021年11月7日 (日) 21:05 由 Tankianting（討論 | 貢獻）所做的修訂

(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

邏輯學、型別理論

形式邏輯筆記 (Note of Forall X)
型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)

程式語言

TeX for the Impatient 兩三事 (原書)

關聯條目

取自「https://kianting.info/wiki/index.php?title=程式語言、邏輯學&oldid=45」