TY - JOUR AU - S. S. Marchenkov TI - The existence of recursively enumerable minimal truth-table JO - Algebra i logika PY - 1975 SP - 422 EP - 429 VL - 14 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1975_14_4_a4/ LA - ru ID - AL_1975_14_4_a4 ER -