RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1989
Volume 305,
Number 4,
Pages
778–782
(Mi dan7176)
MATHEMATICS
Semantics and logic of computational problems
M. I. Kanovich
Kalininsky State University
UDC:
517.11+681.142
Presented:
A. P. Ershov
Received: 30.10.1987
Fulltext:
PDF file (366 kB)
English version:
Doklady Mathematics, 1989,
39
:2,
334–338
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (366 kB)