RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk,
1993
Volume 332,
Number 1,
Pages
26–28
(Mi dan5074)
MATHEMATICS
A constructive model of classical formal arithmetic
N. M. Nagornyi
Computing Centre of the Russian Academy of Sciences, Moscow
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 22.01.1993
Fulltext:
PDF file (285 kB)
English version:
Doklady Mathematics, 1994,
48
:2,
251–254
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (285 kB)