RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1983
Volume 270,
Number 6,
Pages
1323–1327
(Mi dan10046)
MATHEMATICS
Arithmetic completeness of type-free logic
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 10.11.1982
Fulltext:
PDF file (797 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (797 kB)