TY - JOUR AU - V. Yu. Sazonov TI - Equivalence of the polynomial constructivity of the Markov principle to the equality $\mathrm{P}=\mathrm{NP}$ JO - Matematičeskie trudy PY - 1989 SP - 138 EP - 165 VL - 12 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MT_1989_12_a7/ LA - ru ID - MT_1989_12_a7 ER -