GENERAL RECURSIVE FUNCTIONS

被引：32

作者：

ROBINSON, J

机构：

来源：

关键词：

D O I：

10.2307/2031973

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：703 / 718

页数：16

共 6 条

[1]

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

[2]

KLEENE, 1936, B AM MATH SOC, V42, P544

[3] Recursive predicates and quantifiers [J].

Kleene, S. C. .

[4] General recursive functions of natural numbers [J].

Kleene, SC .

[5] PRIMITIVE RECURSIVE FUNCTIONS [J].

ROBINSON, RM .

[6]

TARSKI A, 1944, NORSKE VIDENSKABERS, V17, P103