共 8 条
- [1] Ehrenfeucht A., 1960, ARCHIV F R MATHEMATI, V5, P37
- [2] Hajkova M., 1972, FUND MATH, V76, P131
- [3] PAOLA RAD, 1966, PACIFIC J MATH, V18, P445
- [4] Putnam H., 1960, P AMS, V11, P574
- [5] RITCHIE RW, 1968, INFORMATION SCI, V1, P189
- [6] Rogers Jr. H., 1967, MCGRAW HILL SERIES H
- [7] SHEPHERDSON J, 1960, ARCH MATH LOGIC, V5, P119
- [8] SMORYNSKI C, UNPUBLISHED