Математика

О некотором типе формальных безотрицательных систем

В. Н. Кривцов


Аннотация: Предложен метод построения безотрицательных формальных систем, удобных для исследования средствами теории доказательств.
Библиогр. 5.

УДК: 517.11

Поступила в редакцию: 09.04.1982

Реферативные базы данных:

• 
•