共 28 条
[1]
[Anonymous], STUDIES LOGIC FDN MA
[2]
[Anonymous], 1984, SUBRECURSION FUNCTIO
[3]
Fairtlough M, 1998, STUD LOGIC, V137, P149
[4]
FRIEDMAN H, 1976, J SYMBOLIC LOGIC, V41, P558
[5]
GODEL K, 1958, DIALECTICA, V12, P280
[6]
Hinman P. G., 1978, PERSPECTIVES MATH LO
[7]
Kleene SC, 1952, INTRO METAMATHEMATIC