编程与类型系统

自己动手写CPU：教您从第一行代码开始，实现一款处理器！酒泉卫星发射中心资深电子工程师作品，以造卫星的态度写的书，中国人自己写的CPU！你值得拥有！ ¥185.00

结构证明论（第二版） ¥55.00

函数式程序设计 ¥22.00

数理逻辑和算法理论——计算机科学与人工智能的数学基础 ¥22.00

图论入门 ¥23.00

黑白之门：形式语言与自动机的奇幻冒险 ¥30.00

同构：编程中的数学 ¥36.00

逻辑与形而上学教科书系列：作为哲学的数理逻辑 ¥18.00

实用编程语言理论基础（原书第2版） ¥50.00