CLASSES OF RECURSIVELY ENUMERABLE SETS AND THEIR DECISION PROBLEMS

[1] An unsolvable problem of elementary number theory [J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363

[2] Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[3] Kleene S., 1938, J SYMBOL LOGIC, V3, P150, DOI DOI 10.2307/2267778

[4] Recursive predicates and quantifiers [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) : 41 - 73

[5] General recursive functions of natural numbers [J]. MATHEMATISCHE ANNALEN, 1936, 112 : 727 - 742

[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] Rosser B., 1936, J SYMBOLIC LOGIC, V1, P87

[8] [No title captured]

[1] An unsolvable problem of elementary number theory [J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363

[2] Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[3] Kleene S., 1938, J SYMBOL LOGIC, V3, P150, DOI DOI 10.2307/2267778

[4] Recursive predicates and quantifiers [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) : 41 - 73

[5] General recursive functions of natural numbers [J]. MATHEMATISCHE ANNALEN, 1936, 112 : 727 - 742

[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] Rosser B., 1936, J SYMBOLIC LOGIC, V1, P87

[8] [No title captured]