Doklady Akademii Nauk, Tome 169 (1966) no. 1, pp. 20-23
Citer cet article
Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems. Doklady Akademii Nauk, Tome 169 (1966) no. 1, pp. 20-23. http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/
@article{DAN_1966_169_1_a3,
author = {Yu. T. Medvedev},
title = {Interpretation of logical formulas by means of finite problems},
journal = {Doklady Akademii Nauk},
pages = {20--23},
year = {1966},
volume = {169},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/}
}
TY - JOUR
AU - Yu. T. Medvedev
TI - Interpretation of logical formulas by means of finite problems
JO - Doklady Akademii Nauk
PY - 1966
SP - 20
EP - 23
VL - 169
IS - 1
UR - http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/
LA - ru
ID - DAN_1966_169_1_a3
ER -
%0 Journal Article
%A Yu. T. Medvedev
%T Interpretation of logical formulas by means of finite problems
%J Doklady Akademii Nauk
%D 1966
%P 20-23
%V 169
%N 1
%U http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/
%G ru
%F DAN_1966_169_1_a3