RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1983
Volume 270,
Number 3,
Pages
537–541
(Mi dan46090)
MATHEMATICS
The consistency of Quine's system
$\mathcal{N}F$
A. S. Kuzichev
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 12.10.1982
Fulltext:
PDF file (766 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (766 kB)