RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1969
Volume 189,
Number 3,
Pages
489–490
(Mi dan35038)
MATHEMATICS
Certain algorithms in a formal arithmetic system
L. L. Tsinman
UDC:
517.11
Presented:
P. S. Novikov
Received: 26.03.1969
Fulltext:
PDF file (325 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (325 kB)