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