ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 2, СТР. 417-435

Двусортная теория классов и множеств, допускающая множества высказывательных формул

В. К. Захаров
А. В. Михал\"ев

Аннотация

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/99/992/99205g.htm
Изменения вносились 6 июля 1999