“如果说有哪一本计算理论方面的书所有的大学图书馆都应该收藏，那就是这本书!” ——Choice杂志 作者简介： Martin D.Davis 著名计算机科学家和数学家。1950年在普林斯顿大学获得博士学位，与图灵同门（导师均为计算科学大师Alonzo Church）。后长期任教于纽约大学柯朗数学研究所。他是自动演绎理论先驱，还是DPLL算法的发明人之一，Post—Turin9机更使其声名远播。除本书外，他还著有经典名著Computability and Unsolvability。
¥67.10定价：¥79.00 (8.5折)
