共 6 条
[1]
Adams E., 1968, ASPECTS INDUCTIVE LO, P265
[2]
EBBINGHAUS HD, ARCH MATH LOGIK GRUN, V12
[3]
GOGUEN JA, 1968, SYNTHESE, V19, P325
[4]
RAMSEY FP, 1950, FOUNDATIONS MATHEMAT, P83
[5]
Slomson A. B., 1967, THESIS OXFORD U