TY - JOUR AU - A. N. Degtev TI - Some properties of deducibility operators JO - Matematičeskie zametki PY - 1993 SP - 23 EP - 28 VL - 53 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1993_53_3_a2/ LA - ru ID - MZM_1993_53_3_a2 ER -