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

Докл. АН СССР, 1979, том 249, номер 1, страницы 41–45 (Mi dan43110)

МАТЕМАТИКА

Классы объектов, имеющих нормальные формы, в системе $\lambda$-конверсии с логическими операторами

А. С. Кузичев

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

УДК: 517.12

Статья представлена к публикации: А. А. Дородницын
Поступило: 10.05.1979



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


© МИАН, 2024