Computability and Logic

【文件属性】：

文件名称：Computability and Logic

文件大小：2.23MB

文件格式：PDF

更新时间：2018-11-09 09:57:09

数理逻辑

classic textbook:G.S. boolos,J.P.Burgess and R.C.Jeffrey