ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1997, ТОМ 3, ВЫПУСК 4, СТР. 1173-1197

Логика доказуемости с операциями над доказательствами

Т. Л. Сидон

Аннотация

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

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

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/97/974/97418g.htm
Изменения вносились 27 января 2000