题名:	逻辑的引擎 / (美) 马丁·戴维斯著；张卜天译 ,
ISBN:	7-5357-4239-4 价格： 20.00
中图分类法:	TP3-49 版次：
索书号:	TP3-49/13