登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Techniques of admissible recursion theory
出版社：Berlin ; New York : Springer-Verlag, 1984.
ISBN：0387139028
出版年：1984
作者：Chong,C.-T.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Recursion theory
  • 作者：Nerode,Anil,
  • ISBN：0821814478
  • 出版社：Providence, R.I. : American Mathematical Society, 1985.
  • 出版年：1985
...

Recursion theory
  • 作者：Shoenfield,Joseph R.
  • ISBN：3540570934
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

Bounded queries in recursion theory
  • 作者：Gasarch,William I.
  • ISBN：0817639667
  • 出版社：Boston : Birkauser, c1999.
  • 出版年：1999
...

Complexity, logic, and recursion theory
  • 作者：Sorbi,Andrea,
  • ISBN：0824700260
  • 出版社：New York : Dekker, c1997.
  • 出版年：1997
...

Selected papers on recursion theory
  • 出版社：0000.00
...

Higher recursion theory
  • 作者：Sacks,Gerald E.
  • ISBN：3540193057
  • 出版社：London : Springer-Verlag, c1990
  • 出版年：1990