共 20 条
[1]
APPEL KI, 1965, T AM MATH SOC, V115, P83
[2]
APPEL KI, 1967, P AM MATH SOC, V18, P279
[3]
Dekker J., 1964, MATH Z, V83, P345
[4]
Dekker J.C.E., 1958, CANADIAN J MATH, V10, P357
[5]
DEKKER JCE, 1962, P S PURE MATH, V5, P77
[6]
Grzegorczyk A., 1958, J SYMBOLIC LOGIC, V23, P188, DOI DOI 10.2307/2964398
[7]
HEYTING A, 1959, CONSTRUCTIVITY MA ED, P195
[10]
SPLITTING AND DECOMPOSITION BY REGRESSIVE SETS .2.
[J].
CANADIAN JOURNAL OF MATHEMATICS,
1967, 19 (02)
:291-+