共 14 条
- [1] Church A., 1940, B AM MATH SOC, V46, P130
- [2] Davis M., 1958, COMPUTABILITY UNSOLV
- [3] DELEEUW K, 1956, AUTOMATA STUDIES, P183
- [5] FELLER W, 1957, INTRODUCTION PROBABI
- [6] KLEENE SC, 1952, INTRODUCTION MATHEMA
- [7] Knopp K., 1947, THEORY FUNCTIONS 2
- [8] LOVELAND DW, 1964, THESIS NEW YORK U
- [9] LOVELAND DW, TO APPEAR
- [10] MARKWALD W, 1956, ARCH MATH LOGIK GRUN, V2, P78