Kirk Borne

“集合、逻辑、计算”-开放存取书。在此处下载437页PDF: https://slc.openlogicproject.org / Metalogic书针对计算机科学和哲学的学生。 主题包括： 关系，图形，树 集-可数和不可数 函数-逆，部分 一阶逻辑与深度超越 推导系统-顺序演算，演绎 定理和引理-完备性、紧性 图灵机-表示，计算，状态，决策，不可判定性定理 证明和归纳