共 31 条
[1]
[Anonymous], 1967, FREGE GODEL
[2]
[Anonymous], 1983, The Philosophy of Mathematics
[3]
BAUERMENGELBERG S, 1967, FREGE GODEL, P199
[5]
Boolos George, 1990, MEANING METHOD
[6]
Chang C. C., 1990, MODEL THEORY, V73
[8]
Davidson D, 1984, INQUIRIES TRUTH INTE
[9]
DEDEKIND F, ESSAYS THEORY NUMBER
[10]
DEDEKIND F, 1888, WAS SIND WAS SOLLEN