RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1977
, том 236,
номер 4,
страницы
796–799
(Mi dan41253)
МАТЕМАТИКА
Система
$\lambda$
-конверсии с логическими операторами и оператором равенства
А. С. Кузичев
Московский государственный университет имени М. В. Ломоносова
УДК:
517.12
Статья представлена к публикации:
А. А. Дородницын
Поступило: 01.06.1977
Полный текст:
PDF файл (447 kB)
Реферативные базы данных:
©
МИАН
, 2025