TY - JOUR AU - E. I. Latkin TI - Generalized Kripke semantics for Nelson's logic JO - Algebra i logika PY - 2010 SP - 630 EP - 653 VL - 49 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2010_49_5_a3/ LA - ru ID - AL_2010_49_5_a3 ER -