共收录 6 本图书
数理逻辑类电子书精选，持续收录相关领域的经典、热门与新近出版作品。
哥德尔证明
欧内斯特·内格尔（Ernest Nagel）
9.30
算术基础
G.弗雷格
8.70
数理逻辑教程
陈慕泽
8.20
康托的无穷的数学和哲学
（美）道本
递归论
郝兆宽, 杨跃, 杨睿之
8.00
跟“龙哥”学C语言编程
李志龙
