RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1977
Volume 236,
Number 5,
Pages
1072–1075
(Mi dan41278)
MATHEMATICS
Formal arithmetic in the
$\mathscr{A}$
-system of
$\lambda$
-conversion
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 27.06.1977
Fulltext:
PDF file (422 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (422 kB)