共 14 条
[1]
BOCHVAR D, 1938, MAT SBORNIK, V46, P287
[2]
KLEENE SC, 1952, INTRO METAMATHEMATIC
[3]
Lukasiewicz Jan, 1930, COMPTES RENDUS SOCIE, V23, P51
[4]
Lukasiewicz Jan, 1930, C R SEANCES SOC SCI, V23, P30
[5]
McCall S, 1967, POLISH LOGIC 1920 19
[8]
Rescher N., 1969, MANY VALUED LOGIC
[9]
ROSE A, 1956, CR HEBD ACAD SCI, V243, P1183
[10]
ROSE A, 1958, P CAMBRIDGE PHIL SOC, V54, P307