|
MATHEMATICS
Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems
L. A. Levin Lomonosov Moscow State University
Citation:
L. A. Levin, “Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems”, Dokl. Akad. Nauk SSSR, 185:1 (1969), 32–33
Linking options:
https://www.mathnet.ru/eng/dan34473 https://www.mathnet.ru/eng/dan/v185/i1/p32
|
Statistics & downloads: |
Abstract page: | 159 | Full-text PDF : | 67 |
|