RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1979
, том 249,
номер 1,
страницы
41–45
(Mi dan43110)
МАТЕМАТИКА
Классы объектов, имеющих нормальные формы, в системе
$\lambda$
-конверсии с логическими операторами
А. С. Кузичев
Московский государственный университет имени М. В. Ломоносова
УДК:
517.12
Статья представлена к публикации:
А. А. Дородницын
Поступило: 10.05.1979
Полный текст:
PDF файл (741 kB)
Реферативные базы данных:
©
МИАН
, 2024