RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1978
Volume 243,
Number 5,
Pages
1123–1126
(Mi dan42197)
MATHEMATICS
On the consistency of formal arithmetic
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 29.06.1978
Fulltext:
PDF file (605 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (605 kB)