RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1981
Volume 261,
Number 4,
Pages
792–796
(Mi dan44897)
MATHEMATICS
Arithmetic theories constructed on the basis of lambda-conversion
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 29.05.1981
Fulltext:
PDF file (722 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (722 kB)