ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1998, ТОМ 4, ВЫПУСК 2, СТР. 733-749

Разрешимые логики первого порядка

Р. Э. Яворский

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Постскрипт статьи (70 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/98/982/98219g.htm
Изменения вносились 24 апреля 2000 г.