TY - JOUR AU - N. V. Vereshchagin AU - A. Kh. Shen' TI - Логические формулы и схемы JO - Matematicheskoe Prosveshchenie PY - 2000 SP - 53 EP - 80 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MP_2000_a3/ LA - ru ID - MP_2000_a3 ER -