Streamlined subrecursive degree theory
Lars Kristiansen; Jan-Christoph Schlage-Puchta; Andreas Weiermann
- 作者Lars Kristiansen; Jan-Christoph Schlage-Puchta; Andreas Weiermann
- 卷第163卷
- 期第6期
- 印刷ISSN0168-0072
- 文件大小342.49KB
- 发表时间2012
- DOI10.1016/j.apal.2011.11.004
- 页码698-716