TY - JOUR AU - V. K. Korobkov TI - An estimate of the number of monotone functions of an algebra of logic and the complexity of the algorithm JO - Doklady Akademii Nauk PY - 1963 SP - 744 EP - 747 VL - 150 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1963_150_4_a9/ LA - ru ID - DAN_1963_150_4_a9 ER -