可計(jì)算性與數(shù)理邏輯（第四版）（中文版） 這是一本計(jì)算機(jī)科學(xué)領(lǐng)域很重要的一本書(shū)，講解可計(jì)算性和數(shù)理邏輯方面的深入的內(nèi)容。