计算机的数理逻辑基础

阿江 评论 逻辑的引擎 5 2011-06-01 22:08:52
宇飞
宇飞 (running is enough) 2011-06-02 08:31:59

确实是一本既有趣有严谨的书,我以前读了两遍,但还有一些相关知识理解不够,也许有时间会再读一遍