一本经典的关于可计算性理论的书籍,作者Michael Sipser,供职于MIT