Универсальная алгебра, алгебраическая логика и базы данных - Плоткин Борис Исаакович (Наука, 1991)