МАТЕМАТИКА

Система $\lambda$-конверсии с дедуктивным оператором формальной импликации

А. С. Кузичев

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

УДК: 510.1:517.12

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

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

• 
•