1. Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.
《可计算性、复杂性和语言》,清华大学出版社，北京，1989。
2. LI Guanghui.Aerodynamic computability and analysis of estate car with carrier[D].Beijing:Beijing University of Aeronautics and Astronautics,2004.
[2]李广辉.带行李架的旅行车的空气动力学计算与分析[D].北京:北京航空航天大学,2004.
3. This makes classical logic a special fragment of computability logic.
这使经典逻辑成为可计算性逻辑的特殊片段。
4. Computability and Complexity in Analysis
分析中的可计算性与复杂性
5. Bibliographic Database for Computability Theory
可计算行理论数据库
6. On the computability of real numbers
关于实数的可计算性 |