МАТЕМАТИКА

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

А. С. Кузичев

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

УДК: 517.12

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

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

• 
•