Seventh international conference on computability and complexity in analysis .

第七届分析中的可计算性和复杂性国际会议。

Research on basic instructions of computability function .

可计算函数的基本指令研究。

Fundamentals of theoretical computer science : computability , complexity , and languages .

计算机理论基础：可计算性、复杂性和语言。

He did make a brief contribution to the book , buried in chapter 26 , in which he summarized computability and the universal machine .

图灵的确为书做处简要的贡献，这在第二十六章可以看出，他总结了可计算性和通用机械。

Computability , complexity , and languages : fundamentals of theoretical computer science .

计算理论基础：可计算性、复杂性和语言。