Recursive predicates and quantifiers

被引：119

作者：

Kleene, S. C. ^{[1
]}

机构：

[1] Amherst Coll, Amherst, MA USA

来源：

关键词：

D O I：

10.2307/1990131

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：41 / 73

页数：33

共 24 条

[1] An unsolvable problem of elementary number theory [J].

Church, A .

[2]

CHURCH A, 1936, T AM MATH SOC, V28, P11

[3]

Church A., 1938, B AM MATH SOC, V44, P224, DOI DOI 10.1090/S0002-9904-1938-06720-1

[4]

Curry H. B., 1942, J SYMBOLIC LOGIC, V7, P115

[5]

CURRY HB, 1941, B AM MATH SOC, V47, P221

[6]

GODEL K, 1934, NOTES LECT I ADV STU

[7]

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

[8]

HEYTING A, 1930, PREUSS AKAD WISS PM, P57

[9]

Hilbert D., 1939, GRUNDLAGEN MATH, VII

[10]

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