ALPHA-UNION THEOREM AND GENERALIZED PRIMITIVE RECURSION

被引：0

作者：

JACOBS, BE

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：63 / 81

页数：19

共 29 条

BLUM, M .

[2] OPERATOR GAP [J].

CONSTABLE, RL .

[3]

Davis M., 1958, COMPUTABILITY UNSOLV

[4]

GODEL KURT, 1940, ANN MATH STUDIES, V3

[5]

HARRINGTON L, 1972, THESIS MASSACHUSETTS

[6]

JACOBS B, UNPUBLISHED

[7]

JACOBS BE, 1975, IMM408 NEW YORK U CO

[8]

JACOBS BE, THESIS NEW YORK U

[9]

JENSEN RB, 1971, P S PURE MATH PROV 1, V13

[10]

Kleene S. C., 1971, INTRO METAMATHEMATIC