共 17 条
- [1] AGLIANO P, IN PRESS J PURE APPL
- [2] Baaz M., 1996, P LOG FDN MATH COMP, P23
- [5] DINOLA A, IN PRESS MULT VAL LO
- [6] DVURECENSKIJ A, IN PRESS AUSTR MAT A
- [7] Dvurecenskij A., 2001, STUDIA LOGICA, V68, P301
- [8] Esteva F, 2003, J LOGIC COMPUT, V13, P531, DOI 10.1093/logcom/13.4.532
- [10] Ferreirim I.M.A., 1992, THESIS U ILLINOIS CH