共 31 条
[3]
Anderson A., 1958, J SYMBOLIC LOGIC, V23, P457
[6]
ANDERSON AR, 1958, MIND, V67, P100
[7]
ANDERSON AR, 1958, LOGIQUE ANAL, V2, P84
[8]
ANDERSON AR, 1956, 2 OFF NAV RES GROUP
[10]
Church, 1956, INTRO MATH LOGIC, V1