TY  - JOUR
AU  - M. I. Kanovich
TI  - Constructibility of the logic of computational problems
JO  - Doklady Akademii Nauk
PY  - 1988
SP  - 530
EP  - 535
VL  - 302
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1988_302_3_a3/
LA  - ru
ID  - DAN_1988_302_3_a3
ER  -