YaMolekula |
Литературу по многосортной логике  25.05.2011, 14:17 |
|
19/02/11 10
|
Последний раз редактировалось YaMolekula 25.05.2011, 14:18, всего редактировалось 2 раз(а).
Здравствуйте! Посоветуйте пожалуйста какую-либо литературу, мануал, где можно почитать про многосортную логику, желательно кванторную. Мне она нужна для решения задач по теории запросов.
|
|
|
|
 |
beroal |
Re: Литературу по многосортной логике  26.05.2011, 17:09 |
|
17/04/11 658 Ukraine
|
Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных. (Сам не читал.)
|
|
|
|
 |
|
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы