TY - JOUR AU - S. S. Marchenkov TI - On completeness in the system $P_3\times P_3$ JO - Diskretnaya Matematika PY - 1992 SP - 126 EP - 145 VL - 4 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_1992_4_1_a11/ LA - ru ID - DM_1992_4_1_a11 ER -