TY - JOUR AU - S. N. Chernikov TI - Polyhedrally closed systems of linear inequalities over an arbitrary ordered field JO - Doklady Akademii Nauk PY - 1967 SP - 278 EP - 281 VL - 173 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1967_173_2_a10/ LA - ru ID - DAN_1967_173_2_a10 ER -