「已注销」的博客

Davis is the co-inventor of the Davis–Putnam algorithm and the DPLL algorithms. He is also known for his model of Post–Turing machines, and his work on Hilbert's tenth problem leading to the MRDP theorem.

递归函数论入门，罗莎培特著，莫绍揆译。内容涵盖全面，论证详细