共 33 条
[1]
ARBIB MA, 1975, COINS75B1 U MASS TEC
[2]
BARR M, 1971, LECTURE NOTES MATH, V236
[3]
BENABOU J, 1973, SEMINAIRE BENABOU
[4]
BENABOU J, 1972, COURS THEORIE CATEGO
[5]
BENABOU J, 1970, SEMINAIRE BENABOU
[6]
Birkhoff G., 1967, LATTICE THEORY, V3rd
[7]
BROWN JG, 1967, INFORMATION CONTROL, V18, P145
[8]
Chapin E. W. Jr., 1974, Notre Dame Journal of Formal Logic, V15, P619, DOI 10.1305/ndjfl/1093891496
[9]
COLE J, 1971, THESIS U SUSSEX
[10]
COSTE M, 1974, NOV SEM BEN