TY - JOUR AU - N. T. Kogabaev TI - Undecidability of the theory of projective planes JO - Algebra i logika PY - 2010 SP - 3 EP - 17 VL - 49 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2010_49_1_a0/ LA - ru ID - AL_2010_49_1_a0 ER -