共 6 条
[1]
Bernays, 1970, GRUNDLAGEN MATH, V2
[2]
Cohen Paul, 1966, SET THEORY CONTINUUM
[3]
CURRY HB, 1963, F MATH LOGIC
[4]
Hilbert D., 1968, GRUNDLAGEN MATH, DOI [10.1007/978-3-642-86894-8, DOI 10.1007/978-3-642-86894-8]
[5]
KOLMOGOROV AN, 1984, MATH LOGIC S
[6]
LYNDON R, 1966, NOTES LOGIC