TY - JOUR AU - Ю.В. Голунков AU - А.А. Савельев TI - Об алгориметрической полноте некоторых систем функций и предикатов JO - Veroâtnostnye metody i kibernetika PY - 1984 SP - 49 EP - 55 VL - 20 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMK_1984__20_69140/ LA - ru ID - VMK_1984__20_69140 ER -