calculus of computation
非常有用的一本关于decision procedure 的著作
下载地址
用户评论
和我想象中略有不同，还是感谢up主的分享。
非常好，感谢分享。