共 18 条
[1]
ABRAMSKY S, IN PRESS TOPOLOGICAL
[2]
ACZEL P, 1988, CSLI LECTURE NOTES
[3]
BARWISE J, 1989, J SYMBOLIC LOGIC, V54
[4]
Barwise J., 1977, HDB MATH LOGIC
[5]
BARWISE J, 1990, TRUTH CONSEQUENCES
[6]
Barwise Jon., 1975, PERSPECTIVES MATH LO
[7]
Barwise Jon, 1987, THE LIAR
[8]
Cohen Paul, 1966, SET THEORY CONTINUUM
[9]
Fraenkel A. A., 1958, AXIOMATIC SET THEORY
[10]
FRAENKEL AA, 1973, F SET THEORY