RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1970
Volume 190,
Number 3,
Pages
519–522
(Mi dan35164)
MATHEMATICS
Certain reduction theorems for higher order logic
S. R. Kogalovskii
Ivanovo Textile Institute
UDC:
51.01.164
Presented:
P. S. Novikov
Received: 29.05.1969
Fulltext:
PDF file (669 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (669 kB)