1ST-ORDER THEORY OF DEGREES OF RECURSIVE UNSOLVABILITY
成果类型：
Article
署名作者：
SIMPSON, SG
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
DOI：
10.2307/1971028
发表日期：
1977
页码：
121-139
关键词：