共 19 条
[1]
[Anonymous], STUDIES LOGIC FDN MA
[2]
[Anonymous], 1958, Introduction to Symbolic Logic and its Applications
[3]
BETH WE, 1953, INDAG MATH, V15, P330
[4]
Bourbaki N., 1968, Theory of Sets
[6]
DACOSTA NCA, 1988, ERKENNTNIS, V29, P95
[7]
Davies P., 1995, TIME EINSTEINS UNFIN
[8]
Doob JL, 1994, MEASURE THEORY
[10]
GODEL K, 1949, A EINSTEIN PHILOS SC, V2, P557