共 7 条
[1]
[Anonymous], 1942, J MATH PHYS
[2]
Hodes L., 1968, CONTRIBUTIONS MATH L, P175
[3]
LUPANOV O. B., 1962, PROBLEMS CYBERNETICS, V3, P782
[4]
NECIPORUK EI, 1966, SOV MATH DOKL, V7, P999
[5]
Papert S, 1967, P S APPL MATH, VXIX, P176
[6]
SPECKER E, 1967, J SYMBOLIC LOGIC, V32, P567
[7]
Subbotovskaya B. A., 1961, SOV MATH DOKL, V2, P110