共 58 条
[1]
Addison J.W., 1959, FUND MATH, V46, P337, DOI [10.4064/fm-46-3-337-357, DOI 10.4064/FM-46-3-337-357]
[3]
ADDISON JW, 1974, P S PURE MATH 2, V13, P1
[4]
BARHILLEL Y, 1970, MATH LOGIC F SET THE
[5]
Barwise J., 1977, HDB MATH LOGIC
[6]
BENACERRAF P, 1983, PHILOS MATH
[8]
Brouwer L. E. J., 1983, PHILOS MATH SELECTED, P77
[9]
FENSTAD JE, 1971, 2ND P SCAND LOG S, P41