共 8 条
[3]
BIRKHOFF G, 1948, LATTICE THEORY, P170
[4]
BIRKHOFF G, 1940, LATTICE THEORY, P94
[5]
BIRKHOFF G, 1948, LATTICE THEORY, P171
[6]
DILWORTH RP, 1940, B AM MATH SOC, V46, P74
[7]
TARSKI A, 1956, LOGIC SEMANTICS META, V11, P45
[8]
VONNEUMANN J, 1936, LECTURES CONTINUOUS, V1