TY - JOUR AU - M. V. Stukacheva TI - On canonical formulas for the extensions of minimal logic JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2006 SP - 312 EP - 334 VL - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2006_3_a21/ LA - ru ID - SEMR_2006_3_a21 ER -