Doklady Akademii Nauk, Tome 148 (1963) no. 4, pp. 771-774
Citer cet article
Yu. T. Medvedev. Interpretation of logical formulae by finite problems and its relation to the theory of realizability. Doklady Akademii Nauk, Tome 148 (1963) no. 4, pp. 771-774. http://geodesic.mathdoc.fr/item/DAN_1963_148_4_a8/
@article{DAN_1963_148_4_a8,
author = {Yu. T. Medvedev},
title = {Interpretation of logical formulae by finite problems and its relation to the theory of realizability},
journal = {Doklady Akademii Nauk},
pages = {771--774},
year = {1963},
volume = {148},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1963_148_4_a8/}
}
TY - JOUR
AU - Yu. T. Medvedev
TI - Interpretation of logical formulae by finite problems and its relation to the theory of realizability
JO - Doklady Akademii Nauk
PY - 1963
SP - 771
EP - 774
VL - 148
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1963_148_4_a8/
LA - ru
ID - DAN_1963_148_4_a8
ER -
%0 Journal Article
%A Yu. T. Medvedev
%T Interpretation of logical formulae by finite problems and its relation to the theory of realizability
%J Doklady Akademii Nauk
%D 1963
%P 771-774
%V 148
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1963_148_4_a8/
%G ru
%F DAN_1963_148_4_a8
