共 5 条
[1]
Church A., 1936, J SYMBOLIC LOGIC, V1, P121
[2]
CHURCH A, 1938, J SYMBOLIC LOGIC, V3, P178
[3]
FELLER W, 1950, INTRODUCTION PROBABI, V1
[5]
HARMON G, 1969, THESIS CASE WESTERN