МАТЕМАТИКА

Экзистенциальность с параметрами некоторых расширений интуиционистской теории типов

Г. Ф. Шварц

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

УДК: 517.12

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

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

• 
•