МАТЕМАТИКА

Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов

В. Н. Кривцов

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

УДК: 517.12

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

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

• 
•