共 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