Doklady Akademii Nauk, Tome 185 (1969) no. 1, pp. 32-33
Citer cet article
L. A. Levin. Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems. Doklady Akademii Nauk, Tome 185 (1969) no. 1, pp. 32-33. http://geodesic.mathdoc.fr/item/DAN_1969_185_1_a6/
@article{DAN_1969_185_1_a6,
author = {L. A. Levin},
title = {Some syntactic theorems on {Ju.} {T.~Medvedev's} calculus of finite problems},
journal = {Doklady Akademii Nauk},
pages = {32--33},
year = {1969},
volume = {185},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1969_185_1_a6/}
}
TY - JOUR
AU - L. A. Levin
TI - Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems
JO - Doklady Akademii Nauk
PY - 1969
SP - 32
EP - 33
VL - 185
IS - 1
UR - http://geodesic.mathdoc.fr/item/DAN_1969_185_1_a6/
LA - ru
ID - DAN_1969_185_1_a6
ER -
%0 Journal Article
%A L. A. Levin
%T Some syntactic theorems on Ju. T. Medvedev's calculus of finite problems
%J Doklady Akademii Nauk
%D 1969
%P 32-33
%V 185
%N 1
%U http://geodesic.mathdoc.fr/item/DAN_1969_185_1_a6/
%G ru
%F DAN_1969_185_1_a6
