共 6 条
[1]
Craig W., 1957, J SYMBOLIC LOGIC, V22, P250, DOI 10.2307/2963593
[2]
Craig W., 1957, J SYMBOLIC LOGIC, P269, DOI DOI 10.2307/2963594
[3]
Henkin Leon, 1963, J SYMBOLIC LOGIC, V28, P201
[4]
Lyndon R.C., 1959, PAC J MATH, V9, P143
[5]
Lyndon R.C, 1959, PAC J MATH, V9, P129
[6]
OBERSCHELP A, 1967, NOTICES AMERICAN MAT, V14, P142