RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1966
Volume 166,
Number 5,
Pages
1032–1034
(Mi dan32081)
MATHEMATICS
On the decision problem for pure narrow calculus of predicates
Yu. Sh. Gurevich
Ural State University, Sverdlovsk
UDC:
517.11
Presented:
A. I. Mal'tsev
Received: 21.05.1965
Fulltext:
PDF file (319 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (319 kB)