МАТЕМАТИКА

Выделение классов конструктивно выводимых теорем в многосортной интуиционистической теории множеств, эквивалентной арифметике второго порядка

Ф. Р. Кашапова

Московский государственный университет имени М. В. Ломоносова

УДК: 517.11

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 17.06.1983

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

• 
•