共 8 条
- [2] KLEENE SC, 1952, INTRODUCTION METAMAT
- [3] MUCNIK AA, 1956, DOKL AKAD NAUK SSSR, V108, P194
- [4] Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]
- [6] SACKS GE, 1963, 55 ANN MATH STUD
- [7] SHOENFIELD JR, 1963, INT S THEORY MODELS
- [8] YATES CEM, TO APPEAR