PRIORITY METHOD .I.

被引：33

作者：

LACHLAN, AH

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1967年 / 13卷 / 01期

关键词：

D O I：

10.1002/malq.19670130102

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1 / &

共 8 条

[1]

Davis M., 1958, COMPUTABILITY UNSOLV

[2]

Friedberg R.M., 1958, J SYMBOLIC LOGIC, V23, P309, DOI [10.2307/2964290, DOI 10.2307/2964290]

FRIEDBERG, RM .

[4]

LACHLAN AH, TO BE PUBLISHED

[5]

MUCNIK AA, 1956, DOKL AKAD NAUK SSSR, V108, P194

[6]

Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]

[7]

Sacks GE., 1963, DEGREES UNSOLVABILIT

[8]

YATES CEM, 1963, J SYMB LOGIC, V28, P265