ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1996, ТОМ 2, ВЫПУСК 2, СТР. 483-499

Логика Гжегорчика с операторами арифметических доказательств

Е. Ю. Ногина

Аннотация

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

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

URL страницы: http://mech.math.msu.su/~fpm/rus/96/962/96206g.htm
Изменения вносились 1 апреля 1999