共 6 条
- [1] Grayson R.J., 1979, LECT NOTES MATH, V753, P402, DOI [10.1007/BFb0061825, DOI 10.1007/BFB0061825]
- [2] GRAYSON RJ, 1981, P RES S DURH
- [3] Rasiowa H., 1963, MATH MATH
- [4] GLOBALIZATION OF INTUITIONISTIC SET-THEORY [J]. ANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (02) : 195 - 211
- [5] Takeuti G., 1987, Proof Theory
- [6] Completeness of global intuitionistic set theory [J]. JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (02) : 506 - 528