RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1978
Volume 238,
Number 2,
Pages
269–272
(Mi dan41461)
MATHEMATICS
A theorem on the consistency of formal arithmetic
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 03.10.1977
Fulltext:
PDF file (512 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (512 kB)