递归可枚举正整数集及其决策问题
AMS MathViewer支持的HTML文章
工具书类
其他信息
期刊:牛市。 阿默尔。 数学。 Soc公司。 50 (1944), 284-316 内政部: https://doi.org/10.1090/S0002-9904-1944-08111-1 MathSciNet评论: 0010514