共 5 条
[3]
BIRNBAUM A, 1969, PHILOSOPHY SCIENCE M
[5]
RAMSEY FP, 1931, FOUNDATIONS MATHEMAT