RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1984
, том 276,
номер 4,
страницы
782–786
(Mi dan9617)
МАТЕМАТИКА
Выделение классов конструктивно выводимых теорем в многосортной интуиционистической теории множеств, эквивалентной арифметике второго порядка
Ф. Р. Кашапова
Московский государственный университет имени М. В. Ломоносова
УДК:
517.11
Статья представлена к публикации:
А. Н. Колмогоров
Поступило: 17.06.1983
Полный текст:
PDF файл (639 kB)
Реферативные базы данных:
©
МИАН
, 2024