共 9 条
[1]
Grzegorczyk A., 1957, FUND MATH, V44, P61
[2]
GRZEGORCZYK A, 1955, FUND MATH, V42, P168
[3]
HELLWIG G, 1964, PARTIAL DIFFERENTIAL
[4]
Kreisel G., 1974, SYNTHESE, V29, P11
[5]
Mostowski A., 1957, FUND MATH, V44, P37
[6]
MYHILL J, 1971, MICH MATH J, V18, P97
[7]
Petrovskii I.G., 1967, PARTIAL DIFFERENTIAL
[8]
Pour-El M.B., 1979, ANN MATH LOGIC, V17, P61, DOI DOI 10.1016/0003-4843(79)90021-4
[9]
POUREL MB, 1975, Z MATH LOGIK, V21, P1, DOI 10.1002/malq.19750210102