RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1966
Volume 171,
Number 6,
Pages
1272–1274
(Mi dan32767)
MATHEMATICS
On higher order logic
S. R. Kogalovskii
Ivanovo Textile Institute
UDC:
519.40
Presented:
P. S. Novikov
Received: 02.02.1966
Fulltext:
PDF file (444 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (444 kB)