RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1984, том 274, номер 4, страницы 786–790 (Mi dan9794)

МАТЕМАТИКА

О дедуктивных возможностях безотрицательного интуиционистского анализа

В. Н. Кривцов

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

УДК: 517.12

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



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


© МИАН, 2024