TY - JOUR AU - N. G. Khisamiev TI - Unsolvability of the elementary theory of a free lattice JO - Algebra i logika PY - 1967 SP - 45 EP - 48 VL - 6 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1967_6_5_a4/ LA - ru ID - AL_1967_6_5_a4 ER -