Литературу по многосортной логике

[YaMolekula]

Здравствуйте! Посоветуйте пожалуйста какую-либо литературу, мануал, где можно почитать про многосортную логику, желательно кванторную. Мне она нужна для решения задач по теории запросов.

[beroal]

Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных. (Сам не читал.)