Survey 1979: Equational Logic - Department of Mathematics ...

62
244. Kennison, J. F., and D. Guildenhuys, Equational completion, model induced triples and
pro-objects, J. Pure Appl., Alg., 1(1971), 317-346. {7 }
245. Kimura, N., On semigroups, Ph.D. Thesis, Tulane, 1957. {14.6}
246. Kleene, S.C., Introduction to metamathematics, Amsterdam, 1952. {17.6}
247. Klukovits, L., Hamiltonian varieties of universal algebras, Acta Math. Sci. (Szeged), 37(1975),
11-15. {15}
248. Knuth, D. E., and P. B. Bendix, Simple word problems in universal algebra, 263-297 in
[257]. {5,12}
249. K6hler, P., Varieties of Brouwerian algebras, Mitt. Math. Sem. Giessen, 116, 83 pp.
(1975). {13.9,17.9}
250. Kruse, R. L.,Identities satisfied by afinite ring, J. Algebra, 26(1973), 298-318. {9.6}
251. Kurosh, A. G., Lectures on general algebra, Chelsea, New York, 1963. {5}
252.*Lausch, H., and W. N6bauer, Algebra of Polynomials, North-Holland, Amsterdam, 1973.
253. Lawson, J. D., and B. Madison, Peripherality in semigroups, Semigroup Forum, 1(1970),
128-142. {16.4}
254. Lawvere, F. W., Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci., U.S.A.,
50(1963), 869-872. {7}
255. , Introduction to: Model Theory and Topology, Lecture Notes in Math., Vol. 445,
Springer-Verlag, Berlin, 1975. {7}
256. Lee, K. B., Equational classes of distributive pseudocomplemented lattices, Canad. J. Math.,
22(1970), 881-891. {13.7 }
257. Leech, J., ed., Computational Problems in Abstract Algebra, Pergamon, 1969. { [158] ,[248]}
258. Lender, V. B., The groupoid of prevarieties of lattices, Sib. Math. J., 16(1975),
1214-1223. {17.9}
259. Levi, F. W., Notes on group theory, J. Indian Math. Soc., 8(1944), 1-9. {6 }
260. Lindner, C. C., Finite partial CTS's can be finitely embedded, Algebra Universalis, 1(1971),
93-96. {12}
261. Ljapin, E. S., Atoms in the lattice of identical-inclusion varieties of semigroups, Sib. Math. J.,
16(1975), 1224-1230. {17.10}
262. Lovsz, L., On the cancellation law among finite structures, Periodica Math. Hung., 1(1971),
145-156. {14.10}
263. Lvov, I. V., Varieties of associative rings I, II, Alg. i. Logika, 12(1973), 269-297,
667-688. {9.6}
264. , Finitely based identities for nonassociative rings, Algebra i Logika, 14(1975),
7-15. {9.9}
265. Lyndon, R. C., Identities in two-valued calculi, Trans. Amer. Math. Soc., 71(1951),
457-465. {8,9.1 }
266. , Identities in finite algebras, Proc. Amer. Math. Soc., 5(1954), 8-9. { 9.16}
267. , Notes on Logic, Van Nostrand, Princeton, 1966. {5,12}
268. MacDonald, J. L., Conditions for a universal mapping of algebras to be a monomorphism, Bull.
Amer. Math. Soc., 80(1974), 888-892. {14.6}
269.*Macdonald, S., Various varieties, J. Austral. Math. Soc., 16(1973), 363-367. {9}
270. Macdonald, S. O., and A. P. Street, On laws in linear groups, Quart. J. Math. Oxford (2),
23(1972), 1-12. { 8.5 }
271. Macintyre, A., On algebraically closed groups, Ann. Math., 96(1972), 512-520. {17.1}
ß
272.*MacLane, S., Topology and logic as a source of algebra, Bull. Amer. Math. Soc., 82(1976),
1-40. {7 }
273. Magari, R., Una dimostrazione del fatto che ogni varieth ammette algebre semplici, Ann. Univ.