共 12 条
- [3] AN UNDECIDABLE PROBLEM IN FINITE COMBINATORICS [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 842 - 850
- [4] Ehrenfeucht A., 1961, FUND MATH, V49, P129
- [6] FRAISSE R, 1954, PUBL SCI U ALGER, V1
- [7] Hardy G. H., 1949, DIVERGENT SERIES
- [8] Hayman W. K., 1956, J REINE ANGEW MATH, V196, P67
- [10] LYNCH JF, 1980, ANN MATH LOGIC, V18, P91