共 27 条
- [1] ACKERMAN R, 1967, INTRO MANY VALUED LO
- [2] CHANG C, IN PRESS
- [3] Chang C.C., 1958, T AM MATH SOC, V88, P467, DOI [DOI 10.1090/S0002-9947-1958-0094302-9, 10.1090/S0002-9947-1958-0094302-9]
- [4] CHANG CC, 1971 P BROOKL POL I, V21
- [5] CHANG CC, UNPUBLISHED MANUSCRI
- [7] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J]. JOURNAL OF THE ACM, 1960, 7 (03) : 201 - 215
- [8] Gnedenko, 1962, THEORY PROBABILITY
- [9] GREEN C, 1969, 1 P INT JOINT ART IN
- [10] HERBRAND J, 1930, RECHERCHES THEORIA D