逻辑的引擎 = Engines of logic

Main Authors: 美 戴维斯 M Davis, Martin ((美)马丁·戴维斯(Martin Davis)著)
Group Author: 张卜天 (译)
Published: 湖南科学技术出版社
Publication Dates: 2007
Call Number: K816.1/4824