可计算性与数理逻辑(第4版)

作者：（美）George S.Boolos,John P.Burgess,Richard C.Jeffrey    译者：何自强等
出版：电子工业出版社 2005.7
丛书：国外计算机科学教材系列
页数：288　　　　版本：4-1
定价：32.00 元
ISBN-10：7121007797
ISBN-13：9787121007798 去豆瓣看看