ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 4, СТР. 1155-1191

Пропозициональные формулы, замкнутые в минимальном исчислении

М. В. Патласов

Аннотация

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k004/k00414g.htm
Изменения вносились 12 февраля 2001