共 7 条
[1]
ATWELL R, 1963, J SYMBOLIC LOGIC, V28, P217
[2]
Chang CC., 1958, T AM MATH SOC, V87, P55
[3]
LUKASIEWICZ J, 1930, CR HEBD ACAD SCI, V23, P1
[4]
MCCALL S, 1966, J SYMBOLIC LOGIC, V31
[5]
Meredith CA., 1958, T AM MATH SOC, V87, P54
[6]
Rose A., 1958, T AM MATH SOC, V87, P1
[7]
Tarski Alfred, 1956, LOGIC SEMANTICS META