Мальцев А.И. Алгебраические системы

Москва: Наука, 1970. — 393 с. Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев. А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.