【文件属性】：
文件名称：The Little Prover
文件大小：3.24MB
文件格式：PDF
更新时间：2019-04-06 05:48:14
LISP, Scheme
使用scheme来写一个定理证明机
网友评论
- 非常不错。。。
- Friedman 脑残粉路过....
- 非常不错，感谢楼主
- 完整的资源，非常感谢！
- 非常不错，非扫描版，感谢楼主！
- 感谢楼主分享 真的是到处都找不到
- 非常著名的资源，自然要弄下来学一下。编程语言！
- 非常感谢楼主
- 这么好的书，没得说
- 谢谢分享！
- 很全,什么都有了,感谢.
- 完整的资源，感谢楼主！
- Daniel P. Friedman 的新书，应该不错，哈哈！