共 15 条
[1]
STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
[J].
JOURNAL OF SYMBOLIC LOGIC,
1994, 59 (04)
:1210-1227
[3]
Kleene S.C., 1945, J. Symb. Log., V10, P109, DOI DOI 10.2307/2269016
[5]
Konovalov A. Yu., 2016, VESTN MOSK U MAT M+, P52
[6]
Konovalov A. Yu., 2016, VEST MGU 1, P60
[7]
Park B. H., 2002, 1896B2002 VINITI
[8]
Park B. H., 2003, 218B2003 VINITI
[9]
Plisko V. E., 1983, IZVESTIYA AKAD NAUK, V47, P315
[10]
Rogers Hartley, 1987, Theory of Recursive Functions and Effective Computability