ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2014, ТОМ 19, ВЫПУСК 3, СТР. 5-22

Многосортная логика, модели и логическая геометрия

Е. Аладова
А. Гварамия
Б. Плоткин
Т. Плоткин

Аннотация

Аннотация в формате gif

Полнотекстовая версия статьи в формате PDF (203 Kb)

Главная страница Содержание журнала Новости Поиск

URL страницы: http://mech.math.msu.su/~fpm/rus/k14/k143/k14301g.htm
Изменения вносились 20 февраля 2015 г.