共 5 条
[2]
Birkhoff Garrett, 1940, LATTICE THEORY, V25
[3]
Church A., 1940, J SYMBOLIC LOGIC, V5, P56, DOI [10.2307/2266170, DOI 10.2307/2266170]
[5]
Newman M.H.A., 1931, J LOND MATH SOC, VS1-6, P186