数理逻辑在计算机科学中的作用 – 神户 电子书下载

原名:The Role of Mathematical Logic in Computer Science and – Kobe
作品简介:数理逻辑的四个分支：集合论。模型理论，可计算性数学逻辑的发展：形式化。演绎逻辑……