共 9 条
[3]
Graver J. E., 1968, J COMBINATORIAL THEO, V4, P125
[4]
KIRBY L, 1976, LECTURE NOTES MATH, P211
[5]
MATE A, IMPROVED RAMSEY ESTI
[6]
MATE A, RAMSEY ESTIMATE CONC
[7]
Paris J., 1977, HDB MATH LOGIC, P1133
[9]
SOLOVAY R, UNPUBLISHED