共 11 条
[1]
AXT P, 1963, Z MATH LOGIK GRUNDLA, V9, P53
[2]
DAMNJANOVIC Z, IN PRESS ELEMENTARY
[3]
KLEENE SC, 1979, INTRO METAMATHEMATIC, V25, P411
[5]
LOPEZESCOBAR EGK, 1974, FUND MATH, V82, P25
[7]
Rose H.E., 1984, SUBRECURSION FUNCTIO
[8]
Troelstra A., 1988, STUDIES LOGIC FDN MA, V1
[9]
Troelstra A.S., 1973, METAMATHEMATICAL INV
[10]
[No title captured]