2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Литературу по многосортной логике
Сообщение25.05.2011, 14:17 


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

 Профиль  
                  
 
 Re: Литературу по многосортной логике
Сообщение26.05.2011, 17:09 
Аватара пользователя


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group