RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1969
Volume 185,
Number 1,
Pages
32–33
(Mi dan34473)
MATHEMATICS
Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems
L. A. Levin
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 05.06.1968
Fulltext:
PDF file (353 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (353 kB)