Последний раз редактировалось YaMolekula 25.05.2011, 14:18, всего редактировалось 2 раз(а).
Здравствуйте! Посоветуйте пожалуйста какую-либо литературу, мануал, где можно почитать про многосортную логику, желательно кванторную. Мне она нужна для решения задач по теории запросов.
|