RECURSIVE REAL NUMBERS

被引：85

作者：

RICE, HG

机构：

来源：

关键词：

D O I：

10.2307/2031867

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：784 / 791

页数：8

相关论文

共 5 条

[1]

KLEENE SC, 1952, INTRO METAMATHEMATIC

[2]

ROBINSON RM, 1951, J SYMBOLIC LOGIC, V16, P282

[3]

Rosenbloom P. C, 1945, AM MATH MON, V52, P562

[4]

Specker E., 1949, J SYMBOLIC LOGIC, V14, P145

[5] ALAN TURING [J].

Turing, Alan .

REVISTA MEDICA CLINICA LAS CONDES, 2022, 33 (06) :632-633