Post's Program and Incomplete Recursively Enumerable Sets
Leo Harrington and Robert I. Soare
- 期刊名称Proceedings of the National Academy of Sciences of the United States of America
- 作者Leo Harrington and Robert I. Soare
- 卷第88卷
- 期第22期
- 印刷ISSN0027-8424
- 文件大小830.42KB
- 发表时间1991-11-15
- DOI10.2307/2358223
- 页码10242-10246