共 73 条
[1]
BARHILLEL Y, 1970, MATH LOGIC F SET THE
[2]
Barwise J., 1977, HDB MATH LOGIC
[3]
BELL JL, 1977, BOOLEAN VALUED MODEL
[4]
BENACERRAF P, 1983, PHILOS MATH
[5]
Boolos George, 1983, PHILOS MATH, V2nd, P486
[6]
Brouwer L. E. J., 1983, PHILOS MATH SELECTED, P77
[7]
Cantor G., 1895, CONTRIBUTIONS FOUNDI
[8]
Cantor G., 1883, MATH ANN, V21, P545, DOI [DOI 10.1007/BF01446819, 10.1007/BF01446819]
[9]
Cantor Georg, 1967, FREGE GODEL SOURCE B, P113
[10]
COHEN P, 1971, P S PURE MATH 1, V13, P9