RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1980
Volume 250,
Number 6,
Pages
1310–1315
(Mi dan43380)
MATHEMATICS
On the imbedding of formal arithmetic in combinatorially complete systems
A. A. Kuzichev
,
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 01.10.1979
Fulltext:
PDF file (929 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (929 kB)