共 21 条
[1]
Albeverio S., 1986, NONSTANDARD METHODS
[2]
[Anonymous], LECT NOTES MATH
[3]
BENEDIKT M, 1993, THESIS U WISCONSIN
[4]
BLASS A, 1989, ANN PURE APPL LOGIC, P252
[5]
BLASS A, 1980, KLEEN S
[6]
BLASS A, 1978, LOG C 77
[7]
Booth D., 1970, ANN MATH LOGIC, V2, P1
[8]
CHANG C., 1991, MODEL THEORY
[10]
FREMLIN DH, 1989, HDB BOOLEAN ALGEBRAS