书名: 可计算性与数理逻辑
ISBN: 7-121-00779-7
作 者: (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
出版社: 电子工业出版社
出版日期: 2005