Software Foundations

Software Foundations（Benjamin C. Pierce，2010）。暂无简体中文版。HN 上 58 人推荐。用 Coq 证明助手讲逻辑基础、程序语言理论和程序验证的在线教材。